src/Pure/mk
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.