diff options
| -rw-r--r-- | isar/todo | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -14,7 +14,10 @@ Isabelle's pretty-printing subsystem); ** C tune behaviour of goals/response buffers (e.g. hide empty response buffers when using 2 buffer model); -** C eliminate x-symbol-isar.el in favour of shared x-symbol-isabelle.el; - ** D Combine with isa/ to get single Isabelle PG instance, somehow? 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). + |