2 commits

Author	SHA1	Message	Date
Yarmo Mackenbach	4461141903	Add AGPL headers	2020-07-30 12:05:11 +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