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