diff options
| -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? |