# 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) (?)