src/Pure/mk
Sat, 11 Jun 2005 23:19:36 +0200 wenzelm pass ml_platform;
Tue, 31 May 2005 11:53:22 +0200 wenzelm tuned msg;
Thu, 21 Apr 2005 15:33:30 +0200 paulson removed tracing info
Wed, 20 Apr 2005 16:03:17 +0200 quigley Removed remaining references to Main.thy in reconstruction code.
Mon, 21 Jun 2004 10:25:57 +0200 kleing Merged in license change from Isabelle2004
Mon, 02 Jul 2001 21:02:16 +0200 wenzelm #!/usr/bin/env bash;
Tue, 16 Jan 2001 00:23:14 +0100 wenzelm isabelle -f;
Thu, 28 Sep 2000 14:36:02 +0200 wenzelm support copy option;
Fri, 01 Sep 2000 17:54:58 +0200 wenzelm GPLed;
Wed, 08 Mar 2000 17:41:40 +0100 wenzelm pass -c option;
Thu, 19 Aug 1999 12:43:02 +0200 wenzelm improved messages;
Wed, 18 Aug 1999 19:17:29 +0200 wenzelm tuned messages;
Fri, 05 Feb 1999 20:57:37 +0100 wenzelm more robust RC;
Wed, 03 Feb 1999 16:41:00 +0100 wenzelm tuned msg;
Sun, 28 Dec 1997 15:47:09 +0100 wenzelm improved error handling;
Sun, 28 Dec 1997 15:11:54 +0100 wenzelm stderr to $LOG;
Fri, 19 Dec 1997 10:15:26 +0100 wenzelm log file;
Mon, 06 Oct 1997 18:20:15 +0200 wenzelm RAW target;
Mon, 07 Jul 1997 09:09:21 +0200 wenzelm eliminated chmod -w;
Tue, 06 May 1997 15:27:35 +0200 wenzelm fixed ISABELLE_OUTPUT, ISABELLE_PATH (finally?);
Fri, 25 Apr 1997 15:18:58 +0200 wenzelm removed -c option;
Fri, 07 Mar 1997 15:30:23 +0100 wenzelm renamed SYSTEM to RAW_ML_SYSTEM;
Tue, 07 Jan 1997 09:01:52 +0100 wenzelm minor tuning;
Wed, 18 Dec 1996 12:42:20 +0100 wenzelm minor modifications to accomodate IsaMakefile;
Mon, 16 Dec 1996 10:00:08 +0100 wenzelm now passes ML_SYSTEM as ml_system;
Mon, 09 Dec 1996 16:09:02 +0100 wenzelm *** empty log message ***
Mon, 09 Dec 1996 16:05:41 +0100 wenzelm mk - build Pure Isabelle.
less more (0) tip