proof-general/isar/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 






Tracing bug
2002-07-14T13:12:23+00:00

David Aspinall

2002-07-14T13:12:23+00:00

8c67b17ae0d8eda7d2a779989ea820c1e8d1bafd












updated;
2001-12-27T15:55:45+00:00

Makarius Wenzel

2001-12-27T15:55:45+00:00

d4950c124d4fdd3f215da8ef997dde46d324363a












New/updated information files
2000-03-13T04:21:14+00:00

David Aspinall

2000-03-13T04:21:14+00:00

390a659861192ebf98811438f61c4f992ecad25a