lib/Tools/makeall
1997-04-22 wenzelm 1997-04-22 removed -norc;
1997-04-12 wenzelm 1997-04-12 tuned comments;
1997-03-18 wenzelm 1997-03-18 asserts $ISABELLE_OUTPUT_DIR;
1997-02-06 wenzelm 1997-02-06 removed getplatform, ISABELLE_OUTPUT_DIR;
1997-01-29 wenzelm 1997-01-29 fixed getplatform call;
1997-01-09 wenzelm 1997-01-09 make all Isabelle systems afresh;