etc/settings
Sat, 28 Jul 2012 13:11:58 +0200 wenzelm discontinued special treatment of Proof General;
Fri, 27 Jul 2012 16:27:26 +0200 wenzelm proper shell variable;
Tue, 24 Jul 2012 11:39:22 +0200 wenzelm further imitation of ISABELLE_USEDIR_OPTIONS via options;
Mon, 23 Jul 2012 16:16:10 +0200 wenzelm tuned;
Mon, 23 Jul 2012 12:05:48 +0200 wenzelm updated smlnj settings;
Fri, 06 Jul 2012 16:41:26 +0200 wenzelm discontinued odd XSYMBOL_INSTALLFONTS, which is private to PG-3.7.x (isafonts.informatik.tu-muenchen.de:7200 no longer exists);
Thu, 05 Jul 2012 13:33:53 +0200 wenzelm slightly modernized ISABELLE_GHC etc. -- /usr/bin is more likely to provide it by default (notably on macbroy2[0-9] and lxbroy*);
Wed, 25 Apr 2012 15:44:26 +0200 wenzelm smarter PDF_VIEWER defaults, based on hints by Lars Noschinski;
Tue, 24 Apr 2012 15:56:09 +0200 wenzelm prefer evince over old xpdf -- NB: x86-cygwin bundles its own application;
Sun, 22 Apr 2012 14:30:18 +0200 wenzelm USER_HOME settings variable points to cross-platform user home directory;
Sun, 01 Apr 2012 22:03:45 +0200 krauss removed old HOL4 import -- corresponding exporter is lost, code is broken, no users known, maintenance nightmare
Wed, 28 Mar 2012 13:53:30 +0200 wenzelm clarified ISABELLE_JDK_HOME: derive from running JVM, but ignore accidental JAVA_HOME;
Wed, 28 Mar 2012 11:04:39 +0200 wenzelm updated comments;
Sat, 24 Mar 2012 20:24:16 +0100 wenzelm ISABELLE_JDK_HOME settings variable points to JDK with javac and jar (not just JRE);
Sun, 18 Mar 2012 21:52:50 +0100 wenzelm less noisy Isabelle/Scala build process;
Wed, 11 Jan 2012 15:12:57 +0100 wenzelm more robust ISABELLE_HOME_USER for repository versions -- some versions of Emacs interpret foo//bar as /bar even on the command-line (unlike regular POSIX semantics);
Sat, 15 Oct 2011 15:55:10 +0200 wenzelm updated to polyml-5.4.1;
Sun, 18 Sep 2011 12:48:45 +0200 wenzelm discontinued hard-wired JAVA_HOME treatment for Mac OS X (cf. f471a2fb9a95), which can cause confusions of "isabelle java" vs. "isabelle scala" -- moved settings to external component;
Sat, 17 Sep 2011 16:53:01 +0200 wenzelm specific bundle for x86_64-linux, which is especially important for JRE due to its extra library dependencies;
Thu, 23 Jun 2011 16:10:22 +0200 wenzelm provide Isabelle/Scala environment as Java extension, instead of user classpath
Wed, 22 Jun 2011 21:54:35 +0200 wenzelm clarified default ML settings;
Mon, 20 Jun 2011 23:19:38 +0200 wenzelm simplified/generalized ISABELLE_FONTS handling;
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);
Thu, 04 Jun 2009 22:01:54 +0200 wenzelm retrieve ML source files;
Thu, 04 Jun 2009 12:09:07 +0200 wenzelm uniform default settings for E, Vampire, SPASS;
Sun, 31 May 2009 14:16:32 +0200 wenzelm updated example settings;
Sun, 31 May 2009 14:15:07 +0200 wenzelm discontinued support for Poly/ML 4.x versions;
Tue, 14 Apr 2009 14:37:44 +0200 wenzelm ISABELLE_USEDIR_OPTIONS: less ambitious -M1 by default -- multithreading is largely untested on fringe platforms (cygwin, solaris);
Tue, 31 Mar 2009 12:07:17 +0200 wenzelm suggest HOL_USEDIR_OPTIONS="-p 2 -Q false", which is more likely to work within the limits of 32 bit address space;
Thu, 05 Mar 2009 10:19:51 +0100 blanchet Reintroduced previous changes: Made "Refute.norm_rhs" public and simplified the configuration of the BerkMin and zChaff SAT solvers.
Wed, 04 Mar 2009 11:05:29 +0100 blanchet Merge.
less more (0) -100 -60 tip