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