diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2001-09-10 12:45:53 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2001-09-10 12:45:53 +0000 |
| commit | ff5a3eaf399d84bf9a9baaaf63332883b6d0b55c (patch) | |
| tree | 25c2a6ee389cdf1e3d6ff7e378ee4a7f881bddcf /todo | |
| parent | fc3004e030bb183e912c355d418fb9cbef65262b (diff) | |
Update todo
Diffstat (limited to 'todo')
| -rw-r--r-- | todo | 9 |
1 files changed, 3 insertions, 6 deletions
@@ -32,13 +32,10 @@ X (Low) e.g. probably not worth spending time on ** 2. Things to in the generic interface -FOR 3.3: +*** B Documentation: + Check new doc for hiding; add doc for dependencies, tracing. + Moving spans; navigating through locked region. -*** A Fix movement commands - -*** A Doc visibility controls - -==================== *** C Fix byte compilation Problem with proof-ass macro mechanism -- gets expanded during compilation. |