proof-general/etc/emacsbugs, branch master Emacs plugins for proof management systems 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 






Record of bug report sent
2011-06-06T13:36:12+00:00

David Aspinall

2011-06-06T13:36:12+00:00

895203c4024c386c5f03d79854bdc329607194e6












*** empty log message ***
2011-06-06T13:22:41+00:00

David Aspinall

2011-06-06T13:22:41+00:00

7582a497473d4c00e91f1bd89392a8c030d26816












New files
2009-12-04T09:42:41+00:00

David Aspinall

2009-12-04T09:42:41+00:00

e83e1554aa3eb8fbe8795a4cfec1207cdd0d3ae2