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