summaryrefslogtreecommitdiffstats
path: root/lib/proof-site (follow)
Commit message (Expand)AuthorAgeFilesLines
* [emacs] assimilate Proof General (for Coq)Amin Bandali2018-07-061-0/+0