etc/settings
Tue, 20 Sep 2005 16:19:51 +0200 webertj pointers to src/HOL/Tools/sat_solver.ML added in comments
Wed, 14 Sep 2005 22:04:34 +0200 wenzelm no longer prefer xemacs, which fails more often than GNU emacs;
Thu, 18 Aug 2005 12:11:06 +0200 wenzelm tuned;
Tue, 16 Aug 2005 13:42:14 +0200 wenzelm -V outline=/proof,/ML;
Tue, 02 Aug 2005 21:29:06 +0200 wenzelm tuned ML_OPTIONS;
Tue, 02 Aug 2005 19:47:11 +0200 wenzelm tuned;
Mon, 01 Aug 2005 19:20:21 +0200 wenzelm polyml: use polyml-platform/version from Isabelle distribution;
Mon, 01 Aug 2005 11:39:33 +0200 obua 1. changed configuration variables for linear programming (Cplex_tools):
Tue, 19 Jul 2005 17:21:46 +0200 wenzelm retract accidental user commit;
Tue, 19 Jul 2005 16:16:53 +0200 obua proving bounds for real linear programs
Tue, 12 Jul 2005 17:56:03 +0200 avigad added lemmas to OrderedGroup.thy (reasoning about signs, absolute value, triangle inequalities)
Fri, 17 Jun 2005 17:06:11 +0200 wenzelm updated;
Sun, 05 Jun 2005 11:31:13 +0200 wenzelm #SMLNJ_CYGWIN_RUNTIME=1
Thu, 02 Jun 2005 18:29:46 +0200 wenzelm renamed HOL_PROOF_OBJECTS to HOL_USEDIR_OPTIONS;
Tue, 17 May 2005 18:10:35 +0200 wenzelm removed ISAMODE settings;
Fri, 29 Apr 2005 08:05:06 +0200 haftmann added antiquotations typeof, const, term_style, thm_style, term_type (something still to be done)
Fri, 29 Apr 2005 08:03:01 +0200 haftmann added antiquotations typeof, const, term_style, thm_style, term_type (something still to be done)
Wed, 27 Apr 2005 23:04:50 +0200 gagern removed --version which is not a valid polyml flag and has no effect
Tue, 26 Apr 2005 19:50:31 +0200 wenzelm reverted accidental commit of user modification;
Wed, 20 Apr 2005 22:37:29 +0200 gagern Fix automatic determination of poly version.
Wed, 20 Apr 2005 16:03:17 +0200 quigley Removed remaining references to Main.thy in reconstruction code.
Thu, 14 Apr 2005 19:30:57 +0200 aspinall Include automatic determination of poly version.
Wed, 13 Apr 2005 18:48:05 +0200 wenzelm *** MESSAGE REFERS TO PREVIOUS VERSION ***
Wed, 13 Apr 2005 18:34:22 +0200 wenzelm *** empty log message ***
Fri, 04 Mar 2005 15:07:34 +0100 skalberg Removed practically all references to Library.foldr.
Sun, 06 Feb 2005 13:12:32 +0100 paulson fixed mac line
Thu, 25 Nov 2004 14:38:37 +0100 webertj added ZCHAFF_VERSION
Sun, 14 Nov 2004 01:56:58 +0100 webertj *** empty log message ***
Sun, 14 Nov 2004 01:40:27 +0100 webertj DOCTYPE declaration added
Mon, 04 Oct 2004 15:25:28 +0200 paulson PDF_VIEWER suggestion
Thu, 30 Sep 2004 07:14:34 +0200 kleing display pdf as well as dvi
Mon, 21 Jun 2004 10:25:57 +0200 kleing Merged in license change from Isabelle2004
Tue, 15 Jun 2004 00:50:10 +0200 webertj Jerusat settings added
Tue, 15 Jun 2004 00:06:40 +0200 webertj entries for ZChaff and BerkMin added/modified
Sun, 13 Jun 2004 15:28:46 +0200 wenzelm added PRINT_COMMAND setting
Sat, 05 Jun 2004 13:06:49 +0200 wenzelm removed mlworks and smlnj-0.93 (obsolete);
Sat, 17 Apr 2004 13:56:59 +0200 kleing do not mention poly 3.x any more (it is untested)
Thu, 11 Mar 2004 03:53:43 +0100 kleing look for multi platform poly first, choose shrink wrapped poly-4.1.3 (guess) only
Wed, 10 Mar 2004 20:21:08 +0100 webertj ZCHAFF_HOME variable added
Tue, 09 Mar 2004 04:19:41 +0100 kleing include more explanation of variables
Thu, 08 Jan 2004 04:32:52 +0100 kleing run makeindex if necessary
Fri, 31 Oct 2003 06:54:22 +0100 kleing fixed
Fri, 31 Oct 2003 06:52:43 +0100 kleing set isatool usedir to verbose by default
Mon, 26 May 2003 11:42:41 +0200 kleing set HOL_PROOF_OBJECTS in settings, not makefile (makes override in user settings possible)
Wed, 23 Apr 2003 13:33:55 +0200 kleing more documentation
Fri, 01 Mar 2002 18:12:16 +0100 wenzelm tuned;
Mon, 21 Jan 2002 15:29:06 +0100 wenzelm wild guess at polyml-4.1.2;
Mon, 14 Jan 2002 17:43:44 +0100 wenzelm ML_OPTIONS="-h 15000" (used to be 30000);
Wed, 09 Jan 2002 17:36:18 +0100 wenzelm removed TEXINPUTS;
Wed, 19 Dec 2001 00:26:04 +0100 wenzelm tuned;
Wed, 12 Dec 2001 17:40:36 +0100 wenzelm removed installfonts, xterm interface;
Mon, 29 Oct 2001 17:22:18 +0100 wenzelm tuned;
Tue, 16 Oct 2001 17:24:33 +0200 wenzelm ISABELLE_EPSTOPDF="epstopdf";
Wed, 26 Sep 2001 20:33:33 +0200 wenzelm updated;
Sat, 08 Sep 2001 20:02:59 +0200 wenzelm ISABELLE_INTERFACE=none by default (cannot expect X11 everywhere);
Tue, 13 Feb 2001 01:32:54 +0100 wenzelm tuned;
Mon, 05 Feb 2001 14:31:49 +0100 wenzelm tuned;
Tue, 21 Nov 2000 19:02:07 +0100 wenzelm tuned;
Thu, 12 Oct 2000 17:47:32 +0200 wenzelm even smarter setup for several installations of Poly/ML 3.x and 4.0;
Mon, 25 Sep 2000 12:11:45 +0200 wenzelm tuned auto paths;
less more (0) -100 -60 tip