diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-03-22 15:32:48 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-03-22 15:32:48 +0000 |
| commit | 204342f620cb85421981dec27d36bf76565d8db9 (patch) | |
| tree | fba7d9eaf1a2fad2394eda82b9df3321dfcb716c /todo | |
| parent | 9753741c3e389e39d7df416b70e0ac40f47685a9 (diff) | |
Updated todo's.
Diffstat (limited to 'todo')
| -rw-r--r-- | todo | 11 |
1 files changed, 5 insertions, 6 deletions
@@ -29,12 +29,9 @@ X (Low) e.g. probably not worth spending time on *** Top Priority Fixes for 3.1 - - Solaris ^G problem and FSF Emacs mule/non-mule support - - Recognition of ; only at eol (DvO reported bug here, shouldn't happen) - - Web page: add notify when updated option - - Manual: credits for other bug reporters + - Manual: credits for bug reporters - Would be nice to fix spurious output of Coq and HOL from first line - when synchronization is gained. + when synchronization is gained. How? *** Scheduled improvements for 3.2 @@ -802,7 +799,7 @@ C New modules: *** A Update ETAPS demo -*** A Add some one-stop-shop pages. Ask permission to redistribute +*** B Add some one-stop-shop pages. Ask permission to redistribute packages for PAs. Maybe do Windows and Linux versions. *** B Add an animation, showing proof replay. @@ -811,6 +808,8 @@ C New modules: Current failures for HTML 4.0 to do with CGI-style arguments with "&", this is a problem with PHP3 really. +*** C add notify when updated option + *** C Wanted for links: something to UITP. Are there any pages? *** C Broken (old) links: |