proof-general/isa/BUGS, branch master Emacs plugins for proof management systems Deleted file 2006-12-05T12:49:56+00:00 David Aspinall 2006-12-05T12:49:56+00:00 7077e2e8fed4a52af4894954c8446781cb5d40d6 






Add proof-cannot-reopen-processed-files to fix behaviour of multiple files for Isabelle.
2004-04-17T17:41:06+00:00

David Aspinall

2004-04-17T17:41:06+00:00

69e7264621d7d213fcd27f9c63143e9817ea0d6d












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

David Aspinall

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

8c67b17ae0d8eda7d2a779989ea820c1e8d1bafd












Added bugs that were mentioned in manual
2000-09-27T14:20:09+00:00

David Aspinall

2000-09-27T14:20:09+00:00

2fe1a79409f8cb3824a325cbcf85eba47ab91afc












Fixed up proof-shell-proof-completed mess nicely.
2000-04-07T09:42:02+00:00

David Aspinall

2000-04-07T09:42:02+00:00

556e84c80c3bf9a49cf300572c1854ed2f05597b












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

David Aspinall

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

390a659861192ebf98811438f61c4f992ecad25a