diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-03-24 16:21:25 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-03-24 16:21:25 +0000 |
commit | a42ec4ac01a949165485bd348678b11c40d0a4b1 (patch) | |
tree | d76823a1d3e6bae1850417f39670891d10b7aa87 /hol98 | |
parent | 51d13aed20e77d5cd3433d4c061794265e3dbf25 (diff) |
Updated
Diffstat (limited to 'hol98')
-rw-r--r-- | hol98/todo | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -20,4 +20,6 @@ See also ../todo for generic things to do, priority codes. ** B Add support for proof by pointing. +** B Output highlighting doesn't seem to work properly. + |