diff options
| -rw-r--r-- | todo | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -36,6 +36,11 @@ B Keybindings for processing theory in thy mode gone?? ** 2. Things to in the generic interface +*** B generalize from Isabelle's "atomic scripting" theory file mode + to allow other instances which do not allow incremental + processing of files in major or auxiliary file types. + E.g. twelf ACL2 + *** B Move 3.3 over to new better designed parsing function mechanism. *** D some renaming for uniformity: |