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)