diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-04-05 15:10:34 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-05 15:10:34 +0000 |
| commit | 7936d6b8fe6dbcb03532be76b1159020d1c7aa09 (patch) | |
| tree | a14c4d5f2f3f00114ad5f230b15378f670a836c1 /todo | |
| parent | d9ff5092f79b39f179eff23f85b8fedcfb706008 (diff) | |
Updated.
Diffstat (limited to 'todo')
| -rw-r--r-- | todo | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -56,7 +56,7 @@ This is an outline file. Use C-c C-n, C-c C-p or menu to navigate. same mechanism as proof-mmm. [Done; in testing] -- Check x-symbol support in provers other than Isabelle -*** Finish/cleanup MMM support for Isar. Document (but who reads it?) +*** Finish/cleanup MMM support for Isar. Document. Add MMM for other provers where relevant *** Isabelle support: can we somehow add "legacy" support for old @@ -69,6 +69,7 @@ This is an outline file. Use C-c C-n, C-c C-p or menu to navigate. (dependency info *after* response display loses) *** Check multiple file support in Isabelle -- maybe has become buggy + -- Test cases seem to work, still *** Coq issues that may be problematic: -- Auto-compile-vos (prob impossible to fix) |