lib/Tools/makeall
2000-11-22 wenzelm 2000-11-22 tuned;
2000-09-01 wenzelm 2000-09-01 GPLed; more robust handling of spaces in args / file names;
1999-08-19 wenzelm 1999-08-19 improved messages;
1997-12-19 wenzelm 1997-12-19 new version;
1997-10-20 wenzelm 1997-10-20 rm IOA TLA;
1997-05-06 wenzelm 1997-05-06 fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?);
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;