diff options
Diffstat (limited to 'hol98')
-rw-r--r-- | hol98/todo | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/hol98/todo b/hol98/todo deleted file mode 100644 index d65df204..00000000 --- a/hol98/todo +++ /dev/null @@ -1,25 +0,0 @@ --*- mode:outline -*- - -* Things to do for HOL - -See also ../todo for generic things to do, priority codes. - -** A Problem with process filtering. - - Process (sometimes?) doesn't recover after interrupt, and no output - is seen. Why? - - Also problem with some input texts: try interactive version of - clScript.sml, inductive defn of CL terms breaks things. - -** B Improve display to strip ugly val it and spurious >'s. - -** B Add special markup to improve robustness - -** B Add support for multiple files - -** B Add support for proof by pointing. - -** B Output highlighting doesn't seem to work properly. - - |