diff options
Diffstat (limited to 'todo')
| -rw-r--r-- | todo | 14 |
1 files changed, 14 insertions, 0 deletions
@@ -27,6 +27,20 @@ D e.g. desirable to fix at some point X (Low) e.g. probably not worth spending time on +*** Outstanding bugs to investigate + +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. + Nasty workaround: (setq debug-on-quit t), hit "c" on each hang + to continue. + Seems to get stuck looping in {coq,lego,whetever}-find-and-forget + 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. + + *** Scheduled improvements for 3.2 **** A Doc new bits: font lock keywords, filename %e, %r. |