Commit graph

4 commits

Author SHA1 Message Date
Yarmo Mackenbach
ddb085166c Update AGPL headers in PHP files 2020-07-31 00:35:35 +02:00
Yarmo Mackenbach
4461141903 Add AGPL headers 2020-07-30 12:05:11 +02:00
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