diff options
| -rw-r--r-- | isar/todo | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -4,6 +4,8 @@ See also ../todo for generic things to do, priority codes. +** B make help key bindings appear in "Show me ..." menu; + ** C undo 'use' command: unlock corresponding ML file; ** C provide template for empty theory (or even just for Scratch.thy); @@ -20,4 +22,4 @@ 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 |