diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1998-11-10 18:09:23 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1998-11-10 18:09:23 +0000 |
commit | 68afa5fb480aa9f9c4927ed3541eadf447dd2eec (patch) | |
tree | b798907f9af3d38b4e29a49a387dd25fd11fc8b2 /TODO | |
parent | 6c12c9a1a4131882ff25fab7982633ea2cef3dc7 (diff) |
Added doc to short term improvements. It won't be good for 2.0, 8-(.
Diffstat (limited to 'TODO')
-rw-r--r-- | TODO | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -5,7 +5,7 @@ proofgen@dcs.ed.ac.uk. Thanks! SHORT TERM ---------- -* Fix bugs and improve code +* Fix bugs and improve code and documentation MEDIUM TERM ----------- |