proof-general/README, branch master

proof-general/README, branch master Emacs plugins for proof management systems Update README 2016-02-10T17:18:13+00:00 Clément Pit--Claudel 2016-02-10T17:18:13+00:00 c2fbd46549c386d29f5cadd5094ee2f6601e27b8

Bump doc version numbers to 4.2pre. 2011-10-14T12:49:34+00:00 David Aspinall 2011-10-14T12:49:34+00:00 280ba03f4778c35f74b8f35de981b807e8ccae1f

Update dates and versions 2011-10-03T09:04:26+00:00 David Aspinall 2011-10-03T09:04:26+00:00 a256d592c6e23747f327c993d947964b807e4991

Version bump 2011-06-10T17:45:26+00:00 David Aspinall 2011-06-10T17:45:26+00:00 d38800608f3e540b6f200ad8602e9d7805a2b0fd

*** empty log message *** 2011-06-10T17:19:06+00:00 David Aspinall 2011-06-10T17:19:06+00:00 a46fb9f176a8fe27158918d72b8f2b0e4e35d3d2

Update dates and versions 2011-01-14T17:07:27+00:00 David Aspinall 2011-01-14T17:07:27+00:00 462d8403fbe048aac215d809bfa72e7360384071

Update date 2010-12-10T15:09:03+00:00 David Aspinall 2010-12-10T15:09:03+00:00 6eb1620ab6d83f3b4a2dbd3209ea2d89e3cb3c1b

Update version numbers, release dates 2010-10-01T11:48:38+00:00 David Aspinall 2010-10-01T11:48:38+00:00 7af0b5b970aa72c7b9997a8107c961ee99fce3ec

Updated 2010-08-24T19:06:43+00:00 David Aspinall 2010-08-24T19:06:43+00:00 582a46965f00ed0777c0a8d30c47cdca92fdddf8

Minor tweaks to versions, etc. 2010-08-17T12:02:09+00:00 David Aspinall 2010-08-17T12:02:09+00:00 25ffebf59b3168ef2b5a5719c8a21d81e3016432