index
:
proof-general
master
Emacs plugins for proof management systems
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
Branch
Commit message
Author
Age
master
Merge pull request #559 from hendriktews/omit-proofs
Erik Martin-Dorel
5 years
