src/Pure/mk
2009-05-31 wenzelm 2009-05-31 removed "compress" option from isabelle-process and isabelle usedir -- this is always enabled;
2009-03-20 wenzelm 2009-03-20 uniform ml_prompts for RAW and Pure;
2009-03-19 wenzelm 2009-03-19 RAW: provide dummy Isar.main to make tty work gracefully (with ML toplevel);
2009-03-02 wenzelm 2009-03-02 removed Ids;
2008-10-04 wenzelm 2008-10-04 replaced ISABELLE by ISABELLE_PROCESS;
2007-01-04 wenzelm 2007-01-04 tuned msg;
2007-01-04 wenzelm 2007-01-04 removed obsolete option -C; added option -R: run RAW session;
2006-10-01 wenzelm 2006-10-01 reverted to revision 1.28;
2006-09-28 wenzelm 2006-09-28 added share_data (dummy);
2005-12-01 wenzelm 2005-12-01 replaced lib/scripts/showtime by more advanced lib/scripts/timestart|stop.bash;
2005-06-11 wenzelm 2005-06-11 pass ml_platform;
2005-05-31 wenzelm 2005-05-31 tuned msg;
2005-04-21 paulson 2005-04-21 removed tracing info
2005-04-20 quigley 2005-04-20 Removed remaining references to Main.thy in reconstruction code.
2004-06-21 kleing 2004-06-21 Merged in license change from Isabelle2004
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.