diff options
| author | David Aspinall | 1998-11-03 14:42:26 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-11-03 14:42:26 +0000 |
| commit | 10b0aa36ba12e6255c14df3ca9dc9cf732a55550 (patch) | |
| tree | 42503861f9714fd89978362fd0c4fa3dc1846bc5 /todo | |
| parent | b8f4c78f6659d6962a810e4b40dda5b34fd0fb47 (diff) | |
Func menu problems, note added
Diffstat (limited to 'todo')
| -rw-r--r-- | todo | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -36,6 +36,8 @@ C The semantics of `proof-script-buffer-list' is ambigous. The first A Revise ProofGeneral.texi and publish LaTeX version as an LFCS Technical Report (2+2 days; da + tms) +A* Bug in proof-mode configuration of func-menu. (30mins) + A* FIX INDENTATION CODE, EDITING .ML (& other?) FILES IS CHRONICALLY SLOW. This is going to hit us hard as soon as the mode gets used in earnest. |