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