diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-05-18 16:16:51 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-05-18 16:16:51 +0000 |
| commit | 30d3c247cc8c5a55c3a9a2691aea670b04612d26 (patch) | |
| tree | 3e8f760d0bc99354ce00a95bca1a3f2d87411cf4 /todo | |
| parent | 8fefa9e358e7c41f24b1bf42c0ad48587e8bf1ba (diff) | |
Updated. Noted that "first line" bug is more prevalent than thought.
Diffstat (limited to 'todo')
| -rw-r--r-- | todo | 9 |
1 files changed, 1 insertions, 8 deletions
@@ -27,13 +27,6 @@ D e.g. desirable to fix at some point X (Low) e.g. probably not worth spending time on -*** Extremely urgent bits - -A Fix docstring-magic somehow so that multiple instances of PG can - be loaded at the same time. Looks like will have to redefine - the proof-assistant specific settings one by one, before calling - the specific code. - *** Outstanding bugs to investigate A find C-c C-l binding and remove it. Overriden with goto-end-of-locked. @@ -47,7 +40,7 @@ C Undoing comments with FSF Emacs weirdness. but no problem when running with edebug edebug-defun on this function. Maybe filter specific glitch to do with spans? -C Problem with startup for Coq and HOL. See BUGS. +C Problem with startup for Coq and HOL. Also for Isar! See BUGS. C Solaris bugs: font locking and button enabling. |