diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-06-27 15:27:44 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-06-27 15:27:44 +0000 |
| commit | 61e83559cb7614a71834f3c513c6638d54e89904 (patch) | |
| tree | a48d4d2d2cab8bb1f8f4e594547802810ac714ee /todo | |
| parent | 840f589d751c08906ab6275c73c241167bb66214 (diff) | |
Updated
Diffstat (limited to 'todo')
| -rw-r--r-- | todo | 5 |
1 files changed, 0 insertions, 5 deletions
@@ -29,11 +29,6 @@ X (Low) e.g. probably not worth spending time on *** Outstanding bugs to investigate -A Re-visiting files (in Isar, at least) doesn't lock them properly. - M-x isar-mode does. Why? - Also, when files are removed by typing in shell buffer, they - don't get uncoloured??? - C Undoing comments with FSF Emacs weirdness. Noticed with Emacs 20.6.1. Seems to affect all provers. Workaround: use C-c C-RET or C-c C-r instead. |