diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-04-04 17:38:10 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-04-04 17:38:10 +0000 |
commit | 437eff8682bdf7fd2d685f1812fb4c343d2af8d6 (patch) | |
tree | 5a626867128c71a8d2551678c2aa64747181da6d /todo | |
parent | 2de776e12a4cdc1db0f47d2cc3ca1df968709b36 (diff) |
Updated
Diffstat (limited to 'todo')
-rw-r--r-- | todo | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -29,6 +29,8 @@ X (Low) e.g. probably not worth spending time on *** Scheduled improvements for 3.2 +**** A Doc new bits: font lock keywords, silent stuff, filename %e, %r. + **** A Add a new keymap(s) for proof assistants. Presently they naughtily bind C-c <letter> which are reserved for users. As a prelude to introducing more prover-specific commands, |