diff options
Diffstat (limited to 'TODO')
-rw-r--r-- | TODO | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -8,7 +8,7 @@ and Ideas" in the manual, and for low-level detail, the file "todo" in the developer release. Please send any suggestions, comments, or offers of help to -proofgen@dcs.ed.ac.uk. Thanks! +da+pg-feedback@inf.ed.ac.uk. Thanks! Plans for upcoming versions |