diff options
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. + |