Commit graph

1 commit

Author SHA1 Message Date
Benoit Joly
ae65fb9b19
Adding details around listing and deleting proofs
notation related commands are quite obscur. listing and deleting proofs are not
that easy to find.
2020-07-24 11:45:18 -04:00