diff options
author | Makarius Wenzel <makarius@sketis.net> | 2000-09-27 20:14:11 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2000-09-27 20:14:11 +0000 |
commit | cf3a7463ade0ffe5a3f20c900cad898074b1a4e4 (patch) | |
tree | 4d5bc5525cb79abf3c81ec660b829e2b351bd6fb | |
parent | 3dfbd6f1124c4f67633d7163e6e4a473bf9ed346 (diff) |
** C func-menu: observe proof-syntactic-context (general problem of
func-menu setup?);
-rw-r--r-- | isar/todo | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -4,6 +4,9 @@ See also ../todo for generic things to do, priority codes. +** C func-menu: observe proof-syntactic-context (general problem of +func-menu setup?); + ** C undo 'use' command: unlock corresponding ML file; ** C provide template for empty theory (or even just for Scratch.thy); |