[haddock @ 2002-05-01 11:03:26 by simonmar]

Add another item

1 files changed, 2 insertions, 0 deletions

diff --git a/TODO b/TODO
index e6487a7b..3be52f23 100644
--- a/TODO
+++ b/TODO
@@ -12,6 +12,8 @@
 * Allow documentation annotations to explicitly name the entity they
   refer to.
 
+* Allow {- -} style documentation comments in addition to --.
+
 * Add back-references from the definition to the uses of types/classes
   (perhaps in the index?)