diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-09-18 14:53:33 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-09-18 14:53:33 +0000 |
| commit | fe42e4fab3ec0bbe8c4ba6253a0905a7334909cd (patch) | |
| tree | 6f5bff9f8495818e24a7f573201d8ea1ed75ab6e | |
| parent | c5718550f82280bf26ade613eb4ef2b8d3364636 (diff) | |
Updated
| -rw-r--r-- | todo | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -32,8 +32,6 @@ X (Low) e.g. probably not worth spending time on C The PG isabelle-completion-table seems to be subject to case-fold, which it shouldn't be: \<sqinter> does not work, but \<Sqinter> is OK. -A file-loading messages from Isabelle not recognized any more? (multiple file eg) - B Keybindings for processing theory in thy mode gone?? B Exiting isar broken? |