diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-09-13 15:53:52 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-09-13 15:53:52 +0000 |
| commit | ec3eaa1329f4f7712f6ae93f51bcb4d3d2bc8b2a (patch) | |
| tree | 524e078ff4e7176a7a2bfa848a320c80abe2f50f /todo | |
| parent | c1d1708127e306d1035259e7ad830148e84885a1 (diff) | |
Updated
Diffstat (limited to 'todo')
| -rw-r--r-- | todo | 10 |
1 files changed, 4 insertions, 6 deletions
@@ -292,7 +292,10 @@ X Solaris bugs: font locking and button enabling. place to do this that in the proof-shell-insert-hook (should be triggered by resize events). -*** B Implement proof-generic-find-and-forget +*** D Implement proof-generic-find-and-forget + <...>-count-undos, to simplify prover-specific code. + Complete reengineering of *-count-undos and + *-find-and-forget at generic level *** C X-Symbol: is there a function to input in the minibuffer using a token language? @@ -393,11 +396,6 @@ C New modules: - Fix proof-script-command-separator and proof-one-command-per-line flag, document them. -*** C Make and test generic versions of <..>-goal-command-p, - <...>-count-undos, to simplify prover-specific code. - Reengineer *-count-undos and *-find-and-forget at generic level - [5h] - *** D Fix INFO-DIR-ENTRY in doc/ProofGeneral.texi to put Proof General info file into a good place. |