Commit graph

2 commits

Author SHA1 Message Date
Yarmo Mackenbach
9a5242dc5d Improve guides 2020-07-27 13:50:40 +02:00
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