etc/settings
Mon, 14 Mar 2011 15:17:10 +0100 wenzelm example settings for ISABELLE_GHC, ISABELLE_OCAML, ISABELLE_SWIPL;
Sun, 13 Mar 2011 20:56:00 +0100 wenzelm files are identified via SHA1 digests -- discontinued ISABELLE_FILE_IDENT;
Sun, 13 Mar 2011 17:35:35 +0100 wenzelm some cleanup of old-style settings;
Sun, 13 Mar 2011 17:28:14 +0100 wenzelm clarified ISABELLE_CSDP setting (formerly CSDP_EXE);
Tue, 18 Jan 2011 21:29:56 +0100 wenzelm Apple's way of locating java;
Mon, 10 Jan 2011 17:22:48 +0100 wenzelm updated for polyml-5.4.0;
Tue, 16 Nov 2010 22:13:54 +0100 wenzelm more robust determination of java executable;
Mon, 15 Nov 2010 17:14:43 +0100 wenzelm more robust treatment of spaces in file names;
Fri, 05 Nov 2010 23:19:20 +0100 wenzelm moved ISABELLE_IDENTIFIER from ISABELLE_OUTPUT further up to ISABELLE_HOME_USER;
Fri, 28 May 2010 20:41:23 +0200 wenzelm assume given SCALA_HOME, e.g. from component settings or external setup;
Sat, 22 May 2010 20:20:51 +0200 wenzelm use proper ISABELLE_PLATFORM instead of adhoc uname;
Sat, 22 May 2010 19:42:20 +0200 wenzelm rendering information and style sheets via settings;
Tue, 20 Apr 2010 11:26:25 +0200 wenzelm refer to THIS_JAVA dynamically, and treat ISABELLE_JAVA as static default -- relevant for nested JVM invocation within an existing Isabelle enviroment;
Mon, 19 Apr 2010 10:56:26 +0200 wenzelm polyml-platform script is superseded by ISABELLE_PLATFORM;
Sat, 17 Apr 2010 20:42:26 +0200 wenzelm improved ISABELLE_JAVA, based on THIS_JAVA of the actually running JVM;
Sat, 06 Feb 2010 22:54:53 +0100 wenzelm removed ever experimental support for Moscow ML -- hardly works anymore;
Mon, 04 Jan 2010 11:55:23 +0100 wenzelm discontinued special HOL_USEDIR_OPTIONS;
Sun, 29 Nov 2009 17:34:41 +0100 wenzelm deactivated default for E_HOME, SPASS_HOME -- now configured as components;
Mon, 09 Nov 2009 21:30:54 +0100 wenzelm setup for official Poly/ML 5.3.0, which is now the default;
Sat, 07 Nov 2009 16:54:13 +0100 wenzelm tuned ML_OPTIONS for SML/NJ -- for improved performance;
Fri, 28 Aug 2009 10:52:44 +0200 wenzelm PDF_VIEWER: more Unix-ish behaviour on Mac OS;
Sat, 22 Aug 2009 23:16:11 +0200 wenzelm removed jedit setup -- now a self-contained component (external);
Thu, 06 Aug 2009 19:51:59 +0200 wenzelm misc changes to SOS by Philipp Meyer:
Tue, 04 Aug 2009 01:01:23 +0200 wenzelm basic support for components (which imitate the usual Isabelle directory layout);
Thu, 30 Jul 2009 23:23:52 +0200 wenzelm ISABELLE_USEDIR_OPTIONS: -q 2 by default;
Sun, 19 Jul 2009 19:24:04 +0200 wenzelm parallel_proofs: more fine-grained control with optional parallel checking of nested Isar proofs;
Fri, 03 Jul 2009 10:54:26 +0200 wenzelm SCALA_HOME: proper line escapes for choosefrom;
Fri, 03 Jul 2009 00:00:03 +0200 wenzelm observe SCALA_HOME, if available;
Sun, 14 Jun 2009 23:18:32 +0200 wenzelm back to default -M max, with more robust interpretation of corresponding max_threads value;
Thu, 04 Jun 2009 23:42:11 +0200 wenzelm example settings for Poly/ML 5.3 (experimental);
less more (0) -100 -50 -30 tip