diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1998-10-19 14:44:01 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-19 14:44:01 +0000 |
commit | 85ac33580832c1af614a4b2072c8212fd1fd7e22 (patch) | |
tree | c0746ba5399cf7ecd2eb1345cd39bbaee7a8948a /todo | |
parent | 66b22407c49185b58a8da11283dafbc3fee1a264 (diff) |
todo for multiple files in Isabelle
Diffstat (limited to 'todo')
-rw-r--r-- | todo | 12 |
1 files changed, 11 insertions, 1 deletions
@@ -14,6 +14,11 @@ X (Low) probably not worth wasting time on * This is a list of things which need doing in the generic interface ==================================================================== +A* Fixup multiple files (mark atomic makes some assumption about + non-comment commands in script buffers). Improve test for + locked region being whole of buffer. This is partly done, + may need improvements. (1hr) + C byte-compilation: check that byte compilation (and compiled code!) works for both varieties of Emacs. Add instructions to INSTALL on how to byte compile. (1hr) @@ -397,7 +402,12 @@ B (part of above): Handle proof-retract-file by querying Isabelle also be unlocked. B (part of above): add multiple file handling for Isabelle - (4h). + (4h). + Work left to do: + + test sending of "retract_file" command to Isabelle. + Handle theory files better. + X Write perl scripts to generate TAGS file for ML and thy files. (6h, I've completely forgotten perl), or better: |