diff options
| author | David Aspinall | 2004-04-17 17:41:06 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-04-17 17:41:06 +0000 |
| commit | 69e7264621d7d213fcd27f9c63143e9817ea0d6d (patch) | |
| tree | 8a992e4c205b1da864b917b008b505ff234be832 /isa/BUGS | |
| parent | f5ac02c634619c6eabb355d0e8f96f3c18ce2cd2 (diff) | |
Add proof-cannot-reopen-processed-files to fix behaviour of multiple files for Isabelle.
Diffstat (limited to 'isa/BUGS')
| -rw-r--r-- | isa/BUGS | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -4,6 +4,9 @@ See also ../BUGS for generic bugs. +See also ../isar/BUGS. Isar is now main the instance for +Isabelle PG, the original Isabelle instance less supported. + ** Issues with tracing mode |