# HG changeset patch
# User wenzelm
# Date 860868126 -7200
# Node ID baae674b1d2961ef099dc696420430dff3832a5c
# Parent  73837efaf71b8286003ede8b23fe50da372522b8
tuned comments;

diff -r 73837efaf71b -r baae674b1d29 lib/Tools/doc
--- 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)
diff -r 73837efaf71b -r baae674b1d29 lib/Tools/makeall
--- 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) (?)