diff options
author | Makarius Wenzel <makarius@sketis.net> | 2000-09-21 13:21:02 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2000-09-21 13:21:02 +0000 |
commit | fb8430c7ee8f78e006a7d4c1185c37ec8c2ec9b0 (patch) | |
tree | 031007d25f2d6fd251a6381ce6a03af2a5b92c85 /isar | |
parent | aa4c6c3dcb6c4f6ae6b239a7eb4e182ace18283e (diff) |
** D support proof-next-error?
Diffstat (limited to 'isar')
-rw-r--r-- | isar/todo | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -20,4 +20,5 @@ Then users could use both proof languages in the same session. ** D Fixup so that typing in shell buffer updates locked buffer status. It works in Isabelle/classic, why not here? (But users shouldn't type in shell buffer, anyway). -
\ No newline at end of file + +** D support proof-next-error? |