proof-general/BUGS, branch master

proof-general/BUGS, branch master Emacs plugins for proof management systems Emphasise importance of Trac 2012-01-10T13:00:25+00:00 David Aspinall 2012-01-10T13:00:25+00:00 82f8fd492e03a40b9698ae2630bb93d6db4ce978

Updated 2010-10-11T00:34:57+00:00 David Aspinall 2010-10-11T00:34:57+00:00 df4441e4219b8c4ea38cfeb8e5a60ff5a9deb668

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

Mention bugs with Coq script management. 2009-10-16T12:01:38+00:00 David Aspinall 2009-10-16T12:01:38+00:00 29872e8d7f0244cadfcadefd3262756c659f40b9

Updated 2009-09-06T22:11:50+00:00 David Aspinall 2009-09-06T22:11:50+00:00 3ff5ab468c2565083d95030047216bf42bc55ac2

Merge in Isar and Coq bugs 2009-08-31T20:01:03+00:00 David Aspinall 2009-08-31T20:01:03+00:00 84ebc40061e1ce380210691618b70773cc1ff713

Updated 2009-05-26T14:00:13+00:00 David Aspinall 2009-05-26T14:00:13+00:00 d7b933b0bf2ced8d6f4e46bbfa1f90c53a7dd088

Merge changes from Version4Branch. 2008-07-24T09:51:53+00:00 David Aspinall 2008-07-24T09:51:53+00:00 76d6b0b2b1f039549d308a0d2c478a6b05869af9

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

Updated. 2007-12-13T12:59:09+00:00 David Aspinall 2007-12-13T12:59:09+00:00 f916f8a84abd57b8cdd3ef7bc54c96b88c268076