--- a/lib/Tools/doc Sat Apr 12 20:01:38 1997 +0200
+++ b/lib/Tools/doc Sat Apr 12 20:02:06 1997 +0200
@@ -3,9 +3,6 @@
# $Id$
#
# DESCRIPTION: view Isabelle documentation
-#
-# TODO:
-# - other formats than dvi (??)
PRG=$(basename $0)
--- a/lib/Tools/makeall Sat Apr 12 20:01:38 1997 +0200
+++ b/lib/Tools/makeall Sat Apr 12 20:02:06 1997 +0200
@@ -5,6 +5,7 @@
# DESCRIPTION: make all Isabelle systems afresh
#
# FIXME TODO:
+# - remove this tool (!?)
# - clean
# - usage
# - getopts (i.e. *short* options) (?)