proof-general/etc/coq, branch master Emacs plugins for proof management systems Remove mmm and ML4PG contribs and remove references to them in code and docs 2017-05-24T15:14:51+00:00 Paul Steckler 2017-05-24T15:14:51+00:00 c9e9c691c353d5d4835551de8d7d1f4c0ec74b9f 






Illustrat Trac #447
2012-08-27T12:30:16+00:00

David Aspinall

2012-08-27T12:30:16+00:00

82996a5df1bf7a2c09efbf42d49e9a1420bc8abc












Change linebreaks as Hendrik would like, not wiki formatted(!)
2011-06-09T15:03:11+00:00

David Aspinall

2011-06-09T15:03:11+00:00

aba699a7db4e16450600d7272a32b540ef15e5d9












parsing check from Trac #410
2011-06-09T13:35:39+00:00

David Aspinall

2011-06-09T13:35:39+00:00

351257b6e2355bae8d450f7163977f23120a9626












Add simple clear test for multiple files without require
2010-09-08T09:04:13+00:00

David Aspinall

2010-09-08T09:04:13+00:00

f9f318998250997ecc4a717c2284c7e789e353a0












Update for current Coq syntax
2010-09-06T16:20:06+00:00

David Aspinall

2010-09-06T16:20:06+00:00

b4ffd07a914e7d97c3db04a1d7fe2d95210a68c4












*** empty log message ***
2009-09-17T21:23:35+00:00

David Aspinall

2009-09-17T21:23:35+00:00

849019c147c7557a9490aaca1942db42f644acbd












New files.
2008-02-17T12:40:06+00:00

David Aspinall

2008-02-17T12:40:06+00:00

d298c7e78504850850af3f282af12b790d3cbf8a












Updated.
2008-01-25T15:26:11+00:00

David Aspinall

2008-01-25T15:26:11+00:00

470ea050b6cfa3b96f4eb5721d36d6f56e2588bb












Patch and cleanup for Coq indent code, see http://proofgeneral.inf.ed.ac.uk/trac/ticket/173
2008-01-25T15:24:21+00:00

David Aspinall

2008-01-25T15:24:21+00:00

9442124c8204c6d8fec6fd1261fb2a19c9b6521b