proof-general/coq/BUGS, branch master

proof-general/coq/BUGS, branch master Emacs plugins for proof management systems Merge in Isar and Coq bugs 2009-08-31T20:01:03+00:00 David Aspinall 2009-08-31T20:01:03+00:00 84ebc40061e1ce380210691618b70773cc1ff713

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

*** empty log message *** 2007-03-08T18:13:16+00:00 Pierre Courtieu 2007-03-08T18:13:16+00:00 e741626acf19a25fa9a2c5ed4b731dfcb71d7fa4

More proofgeneral.org removals 2004-08-25T21:50:35+00:00 David Aspinall 2004-08-25T21:50:35+00:00 05acfead84ac70b6e5162f3fa669129016fe4070

Updated. 2002-11-20T16:19:06+00:00 David Aspinall 2002-11-20T16:19:06+00:00 5ce1ca916b67d6cd18fb16c7acbf2454e568ce9d

Updated. 2002-09-11T14:47:28+00:00 David Aspinall 2002-09-11T14:47:28+00:00 0d3342242b9a327331da0f71e667a0afe206430b

X-sym bug 2002-07-18T23:27:09+00:00 David Aspinall 2002-07-18T23:27:09+00:00 a1e8f2592c8e889726047217e5ea36b68b17f93b

Bug in new parsing for coq, mention 2001-09-09T16:57:55+00:00 David Aspinall 2001-09-09T16:57:55+00:00 4ae205b8cd8dd8f0b5f8ac8308e63246733e70fd

Updated from doc 2000-09-27T17:53:16+00:00 David Aspinall 2000-09-27T17:53:16+00:00 71454f81e46258f21543d688a88588fc6edb734d

BUGS for Coq. 2000-03-13T07:34:30+00:00 David Aspinall 2000-03-13T07:34:30+00:00 abbe9a4c9efd00952f2376eb79630f16f09e5b21