diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-03-23 16:37:34 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-03-23 16:37:34 +0000 |
| commit | 7a2b8a990a0a25fc02de05804fabf851b289e5ea (patch) | |
| tree | 61abb634ff4d9ca30aaa87ae1cf4e0de59f95d2a /todo | |
| parent | 0a7ae8a38680d573605eaa27139c5b430c6daf30 (diff) | |
Updated for 3.1
Diffstat (limited to 'todo')
| -rw-r--r-- | todo | 14 |
1 files changed, 7 insertions, 7 deletions
@@ -27,12 +27,6 @@ D e.g. desirable to fix at some point X (Low) e.g. probably not worth spending time on -*** Top Priority Fixes for 3.1 - - - Manual: credits for bug reporters - - Would be nice to fix spurious output of Coq and HOL from first line - when synchronization is gained. How? - *** Scheduled improvements for 3.2 **** A Add a new keymap(s) for proof assistants. @@ -92,9 +86,15 @@ X (Low) e.g. probably not worth spending time on ** 2. Things to in the generic interface +*** C Fix spurious output of Coq and HOL from first line + + When synchronization is first gained, previous line of output + is shown. How to fix this? + + *** C Add support for XEmacs 21 packaging. Make suitable updates available on web page, and make RPM put things in the right place so no .emacs - file may need editing(?). [4 hours] + file may need editing(?). [2 days] *** B Improve proof-easy-config mechanism. |