lib/Tools/make
2000-09-01 wenzelm 2000-09-01 GPLed; more robust handling of spaces in args / file names;
1999-10-08 wenzelm 1999-10-08 tuned usage;
1997-04-22 wenzelm 1997-04-22 removed -norc;
1997-02-06 wenzelm 1997-02-06 removed getplatform, ISABELLE_OUTPUT_DIR;
1997-01-09 wenzelm 1997-01-09 *** empty log message ***
1996-12-18 wenzelm 1996-12-18 Isabelle make utility;