diff options
| -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. |