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