From d64389d34f3494b97c67b7a6094123f1a699040c Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 13 Dec 2007 12:58:11 +0000 Subject: Deleted file --- hol98/todo | 25 ------------------------- 1 file changed, 25 deletions(-) delete mode 100644 hol98/todo (limited to 'hol98') 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. - - -- cgit v1.2.3