tuned comments;
authorwenzelm
Sat Apr 12 20:02:06 1997 +0200 (1997-04-12)
changeset 2940baae674b1d29
parent 2939 73837efaf71b
child 2941 b228efa26ea3
tuned comments;
lib/Tools/doc
lib/Tools/makeall
     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)
     2.1 --- a/lib/Tools/makeall	Sat Apr 12 20:01:38 1997 +0200
     2.2 +++ b/lib/Tools/makeall	Sat Apr 12 20:02:06 1997 +0200
     2.3 @@ -5,6 +5,7 @@
     2.4  # DESCRIPTION: make all Isabelle systems afresh
     2.5  #
     2.6  # FIXME TODO:
     2.7 +#  - remove this tool (!?)
     2.8  #  - clean
     2.9  #  - usage
    2.10  #  - getopts (i.e. *short* options) (?)