diff options
| author | David Aspinall | 1998-10-19 11:19:52 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-19 11:19:52 +0000 |
| commit | 2ced69d475a7332a73c2feced859cdde00239e3a (patch) | |
| tree | 67e8eb3a9d852d8cb623efb91593aad8ce6fbf06 | |
| parent | 122c3fa6713cb99fa55a88edb36b65772b87f668 (diff) | |
Added todo for Isabelle multiple files
| -rw-r--r-- | todo | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -396,6 +396,9 @@ B (part of above): Handle proof-retract-file by querying Isabelle about the decendants of a file. Then all the descendents can also be unlocked. +B (part of above): add multiple file handling for Isabelle + (4h). + X Write perl scripts to generate TAGS file for ML and thy files. (6h, I've completely forgotten perl), or better: |