diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-05-05 15:09:21 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-05-05 15:09:21 +0000 |
commit | 3d2978cf896be29b579cb56b6c33b867d093b587 (patch) | |
tree | cdfc56743c5e0ea4649a200b9ee61fb8f9b8788a /todo | |
parent | 980ca5b3c0dc3e4bdbc7bd96e91071f8b10eb8d3 (diff) |
Updated
Diffstat (limited to 'todo')
-rw-r--r-- | todo | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -29,6 +29,8 @@ X (Low) e.g. probably not worth spending time on *** Outstanding bugs to investigate +A find C-c C-l binding and remove it. Overriden with goto-end-of-locked. + 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. @@ -44,6 +46,11 @@ 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. + Added proof-{script,shell,goals,resp}-font-lock-keywords. + Presently used only in proof-easy-config, will put into other + mechanism for 3.2 + +**** A Doc new bits: Isabelle settings mechanism, win32 support **** A Add a new keymap(s) for proof assistants. Presently they naughtily bind C-c <letter> which are reserved for |