proof-general/INSTALL, branch master

proof-general/INSTALL, branch master Emacs plugins for proof management systems Update INSTALL 2018-08-15T09:00:32+00:00 Javier 2018-08-15T09:00:32+00:00 0d7a62f36b532dffa5fe8e55e6b1a1775e6c17e6

Update README 2016-02-10T17:18:13+00:00 Clément Pit--Claudel 2016-02-10T17:18:13+00:00 c2fbd46549c386d29f5cadd5094ee2f6601e27b8

Updates 2009-09-21T13:13:59+00:00 David Aspinall 2009-09-21T13:13:59+00:00 768504deb41449808a6d73cc726390d32f3daf19

Describe make scripts 2009-09-15T08:32:37+00:00 David Aspinall 2009-09-15T08:32:37+00:00 608f6ec2745f54ebbee3d7dd408c51b507f1d4e5

*** empty log message *** 2009-09-04T19:41:01+00:00 David Aspinall 2009-09-04T19:41:01+00:00 bdcc98ef86c7de480bcabcb32e958ccf80298fba

Updates 2009-09-01T23:18:45+00:00 David Aspinall 2009-09-01T23:18:45+00:00 1774e2a7aad0605627dd1bc43552889e6268df8c

Updated. 2008-07-10T18:26:13+00:00 David Aspinall 2008-07-10T18:26:13+00:00 f82b8659739559220eff75fb330d9f36a94994cc

Updated. 2008-01-31T23:24:49+00:00 David Aspinall 2008-01-31T23:24:49+00:00 cb6b6b19c3b5b342d149fbebe78de0b7a4292017

Updated. 2008-01-31T23:16:26+00:00 David Aspinall 2008-01-31T23:16:26+00:00 71982ce3a125dcb200e39d3975084aff77fb6ec6

Updated. 2007-12-12T20:38:51+00:00 David Aspinall 2007-12-12T20:38:51+00:00 0ffcdabbae452b3172f05b66593c3162a9ff4bb1