lib/Tools/doc
changeset 2940 baae674b1d29
parent 2936 bd33e7aae062
child 3007 e5efa177ee0c
     1.1 --- a/lib/Tools/doc	Sat Apr 12 20:01:38 1997 +0200
     1.2 +++ b/lib/Tools/doc	Sat Apr 12 20:02:06 1997 +0200
     1.3 @@ -3,9 +3,6 @@
     1.4  # $Id$
     1.5  #
     1.6  # DESCRIPTION: view Isabelle documentation
     1.7 -#
     1.8 -# TODO:
     1.9 -#  - other formats than dvi (??)
    1.10  
    1.11  
    1.12  PRG=$(basename $0)