src/Pure/mk
2001-07-02 wenzelm 2001-07-02 #!/usr/bin/env bash;
2001-01-16 wenzelm 2001-01-16 isabelle -f;
2000-09-28 wenzelm 2000-09-28 support copy option;
2000-09-01 wenzelm 2000-09-01 GPLed; more robust handling of spaces in args / file names;
2000-03-08 wenzelm 2000-03-08 pass -c option;
1999-08-19 wenzelm 1999-08-19 improved messages;
1999-08-18 wenzelm 1999-08-18 tuned messages;
1999-02-05 wenzelm 1999-02-05 more robust RC;
1999-02-03 wenzelm 1999-02-03 tuned msg;
1997-12-28 wenzelm 1997-12-28 improved error handling;
1997-12-28 wenzelm 1997-12-28 stderr to $LOG;
1997-12-19 wenzelm 1997-12-19 log file; elapsed time;
1997-10-06 wenzelm 1997-10-06 RAW target;
1997-07-07 wenzelm 1997-07-07 eliminated chmod -w;
1997-05-06 wenzelm 1997-05-06 fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?);
1997-04-25 wenzelm 1997-04-25 removed -c option;
1997-03-07 wenzelm 1997-03-07 renamed SYSTEM to RAW_ML_SYSTEM;
1997-01-07 wenzelm 1997-01-07 minor tuning;
1996-12-18 wenzelm 1996-12-18 minor modifications to accomodate IsaMakefile;
1996-12-16 wenzelm 1996-12-16 now passes ML_SYSTEM as ml_system;
1996-12-09 wenzelm 1996-12-09 *** empty log message ***
1996-12-09 wenzelm 1996-12-09 mk - build Pure Isabelle.