proof-general/pgocaml, branch master Emacs plugins for proof management systems Fix most doc issues raised by (checkdoc) 2018-08-22T23:23:31+00:00 Erik Martin-Dorel 2018-08-22T22:01:12+00:00 86d22428959a0f5aecef270e0f4dd7d4b5712fc3 






Update copyright messages and improve the header of elisp files.
2018-02-20T23:53:25+00:00

Erik Martin-Dorel

2017-08-12T11:48:08+00:00

4e0c2a00cfbb7ea5c5ab68573bfb0edb78e8bd6f












New pseudo instances to help tool demonstrators in ocaml/ghci (in progress)
2012-02-07T11:20:14+00:00

David Aspinall

2012-02-07T11:20:14+00:00

5f7695ac97fe7e624f00954fa39b1b6149427654