diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2004-06-14 08:38:30 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2004-06-14 08:38:30 +0000 |
commit | fa6afeafadf077ab7f9a954c3e71b9ea9fad7a7f (patch) | |
tree | a7d9ac155a89d42a4dcec998ddbde160e702defe | |
parent | dce25750779070bdf9209c80dd6a50e23a0a6d7c (diff) |
Note another todo
-rw-r--r-- | todo | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -5,6 +5,13 @@ This is an outline file. Use C-c C-n, C-c C-p or menu to navigate. ================================================================= +3.5.1 Another TODO + +* Integrate large demo font + + +================================================================= + 3.5.1 Coq-8 fixup release TODO * Fix display of sub/super scripts in Coq output |