proof-general/etc/announce, branch master

proof-general/etc/announce, branch master Emacs plugins for proof management systems Deleted file 2007-12-12T20:34:39+00:00 David Aspinall 2007-12-12T20:34:39+00:00 65c8cbdebb30b570352f363168a4f69637fe4f65

Explain LaTeX mode for Isabelle a bit better 2004-08-25T20:38:39+00:00 David Aspinall 2004-08-25T20:38:39+00:00 c99306fb6077e6b3dd2212ce079c6651865f30f6

Update for 3.6 release 2004-08-25T11:41:30+00:00 David Aspinall 2004-08-25T11:41:30+00:00 bb125f935d2f634ced1c0650f11640f1411f8774

Update for 3.6 release 2004-08-25T11:41:17+00:00 David Aspinall 2004-08-25T11:41:17+00:00 fb0736ef1cea3f71706f7cbeb69957285e8b4d4a

Update with date/version. 2004-05-07T00:03:40+00:00 David Aspinall 2004-05-07T00:03:40+00:00 9284029abc588c4a0d9b51deb5462bb1e362af76

Claim auto compilation for Coq. 2004-05-07T00:03:14+00:00 David Aspinall 2004-05-07T00:03:14+00:00 cef0b539c86f81e1bbb35ad1bcb35c91df6daaa6

Updated. 2004-04-24T11:15:27+00:00 David Aspinall 2004-04-24T11:15:27+00:00 2c0486ea8da1aef2c07bbf8da4f489148e00e766

Updated. 2004-04-16T10:00:44+00:00 David Aspinall 2004-04-16T10:00:44+00:00 45b1cff194b0dbd38d39cf5175d100b88a55792a

Updated. 2004-04-16T09:33:35+00:00 David Aspinall 2004-04-16T09:33:35+00:00 43f05158948e421d3971fd85f0ed35d26a626187

Updated. 2004-04-15T13:31:36+00:00 David Aspinall 2004-04-15T13:31:36+00:00 176c2ea7966af858cd501b88762fbed378f00698