etc/settings
Sat, 02 Jan 2016 20:08:51 +0100 wenzelm eliminated somewhat pointless and obscure options;
Wed, 30 Dec 2015 11:32:56 +0100 wenzelm tuned java options;
Tue, 29 Dec 2015 17:36:18 +0100 wenzelm support additional abbrevs;
Sun, 22 Nov 2015 23:13:02 +0100 wenzelm some GC options that potentially improve reactivity;
Wed, 21 Oct 2015 18:00:12 +0200 wenzelm Isabelle fonts via external component;
Wed, 07 Oct 2015 13:53:44 +0200 wenzelm back to old-fashioned GC, which appears to work better with interactive applications;
Thu, 10 Sep 2015 11:47:14 +0200 wenzelm less ambitious options, to accomodate 4GB systems;
Tue, 08 Sep 2015 17:34:46 +0200 wenzelm clarified Java runtime options (NB: ISABELLE_JAVA_PLATFORM is determined later via component);
Tue, 08 Sep 2015 11:44:15 +0200 wenzelm clarified ISABELLE_BUILD_JAVA_OPTIONS;
Wed, 26 Aug 2015 14:59:26 +0200 wenzelm use fancy options of Java 8;
Fri, 24 Apr 2015 23:05:33 +0200 wenzelm more paranoia settings, e.g. relevant for Ubuntu 15.04;
Mon, 23 Feb 2015 15:04:12 +0100 wenzelm more uniform headless mode for all derivatives of "build" (amending df5dc24ca712);
Thu, 11 Dec 2014 23:31:30 +0100 wenzelm added Par_List in Scala, in accordance to ML version;
Thu, 09 Oct 2014 11:15:03 +0200 wenzelm prefer Unix standard-conformant $TMPDIR over hard-wired /tmp;
Tue, 01 Jul 2014 14:05:05 +0200 wenzelm more release notes;
Mon, 30 Jun 2014 10:10:32 +0200 wenzelm tuned comments;
Mon, 30 Jun 2014 09:43:44 +0200 wenzelm "isabelle tty" is superseded by "isabelle console";
Wed, 23 Apr 2014 10:49:30 +0200 wenzelm tuned options for scalac;
Tue, 22 Apr 2014 23:01:59 +0200 wenzelm updated to scala-2.11.0 with classpath provided by its etc/settings;
Tue, 22 Apr 2014 22:27:29 +0200 wenzelm no need to copy jars, after regular use of classpath in 793a429c63e7;
Sat, 05 Apr 2014 19:07:05 +0200 wenzelm proper settings instead of hard-wired information;
Mon, 06 Jan 2014 19:42:52 +0100 wenzelm misc tuning and clarification;
Mon, 06 Jan 2014 17:33:23 +0100 wenzelm tuned comments;
Fri, 06 Dec 2013 22:50:47 +0100 wenzelm generic $ISABELLE_OPEN;
Fri, 06 Dec 2013 22:10:45 +0100 wenzelm clarified "isabelle display" and 'display_drafts': re-use file and program instance, open asynchronously via desktop environment;
Mon, 07 Oct 2013 13:42:33 +0200 wenzelm prefer "fresh" open -- requires Lion / Mountain Lion;
Wed, 02 Oct 2013 19:43:58 +0200 wenzelm unset XMODIFIERS by default, in order to prevent total loss of key events seen on Fedora 18/19;
Thu, 12 Sep 2013 13:48:17 +0200 wenzelm clarified directory structure;
Thu, 12 Sep 2013 13:23:54 +0200 wenzelm maintain classpath in more elementary manner: turn ISABELLE_CLASSPATH into -classpath option, so that all jars are covered by sun.misc.Launcher.AppClassLoader (e.g. relevant for loading add-on resources);
Sat, 31 Aug 2013 13:34:39 +0200 wenzelm provide ISABELLE_JAVA_SYSTEM_OPTIONS via settings;
Tue, 30 Jul 2013 15:45:01 +0200 wenzelm tuned comments;
Sat, 27 Jul 2013 22:20:25 +0200 wenzelm discontinued historic document formats;
Sat, 27 Jul 2013 21:43:12 +0200 wenzelm discontinued ISABELLE_DOC_FORMAT;
Sun, 07 Jul 2013 18:43:14 +0200 wenzelm discontinued obsolete "isabelle print";
Tue, 25 Jun 2013 20:38:06 +0200 wenzelm prefer Safari for viewing PDF files, which appears to be better behaved than Preview concerning re-opening recent files (Mountain Lion);
Fri, 17 May 2013 18:19:42 +0200 wenzelm discontinued obsolete isabelle usedir, mkdir, make;
Tue, 14 May 2013 12:21:35 +0200 wenzelm more generous java resources via ISABELLE_BUILD_JAVA_OPTIONS;
Sun, 12 May 2013 14:25:16 +0200 wenzelm decentralized historic settings;
Sat, 09 Mar 2013 18:22:20 +0100 wenzelm accomodate encrypted file-system on linux;
Sun, 25 Nov 2012 15:17:01 +0100 wenzelm eval PDF_VIEWER/DVI_VIEWER command line, which allows additional quotes for program name, for example;
Wed, 29 Aug 2012 20:16:22 +0200 wenzelm provide polyml-5.4.1 as regular component;
Fri, 17 Aug 2012 14:56:37 +0200 wenzelm added "isabelle components" tool;
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.
Wed, 04 Mar 2009 10:45:52 +0100 blanchet Merge.
Tue, 24 Feb 2009 16:12:27 +0100 blanchet Eliminated ZCHAFF_VERSION configuration variable, since zChaff's output format is identical in all versions since March 2003 (at least), and also because it forces users who want to use the latest versions to lie about the version number.
Sun, 01 Mar 2009 16:48:06 +0100 wenzelm discontinued experimental support for Alice -- too hard to maintain its many language incompatibilities, never really worked anyway;
Wed, 21 Jan 2009 15:26:02 +0100 immler removed vampire-wrapper (remote-script covers that)
Mon, 22 Dec 2008 14:40:27 +0100 wenzelm more sophisticated MacOS interface script (mostly for Carbon Emacs);
Sat, 20 Dec 2008 11:55:34 +0100 wenzelm removed Ids;
Thu, 11 Dec 2008 21:31:42 +0100 wenzelm ISABELLE_USEDIR_OPTIONS: -M max is default;
Fri, 05 Dec 2008 18:15:52 +0100 wenzelm uniform treatment of ISABELLE_HOME/contrib vs. ISABELLE_HOME/..;
Sun, 30 Nov 2008 14:03:45 +0100 wenzelm removed obsolete isabelle-interface executable and ISABELLE_INTERFACE setting;
Sun, 30 Nov 2008 12:58:20 +0100 wenzelm default for ISABELLE_HOME_USER is now ~/.isabelle instead of ~/isabelle;
Tue, 21 Oct 2008 23:54:42 +0200 wenzelm less ambitious default for JEDIT_JAVA_OPTIONS;
Tue, 21 Oct 2008 22:21:28 +0200 wenzelm JEDIT_OPTIONS: moved -settings to interface script (more robust);
Tue, 21 Oct 2008 21:59:22 +0200 wenzelm make JEDIT_JAVA_OPTIONS and JEDIT_OPTIONS actually work;
Tue, 21 Oct 2008 20:18:45 +0200 wenzelm added jEdit settings;
Sat, 04 Oct 2008 17:40:56 +0200 wenzelm simplified main Isabelle executables: removed Isabelle and isabelle (replaced by isabelle-process), renamed isatool to isabelle;
Fri, 03 Oct 2008 14:06:19 +0200 wenzelm Vampire wrapper script for remote SystemOnTPTP service (by Fabian Immler);
Fri, 03 Oct 2008 13:21:01 +0200 wenzelm added PROOFGENERAL_EMACS, with attempt to find Carbon Emacs;
Tue, 16 Sep 2008 17:16:27 +0200 wenzelm added PROOFGENERAL_HOME;
less more (0) -120 tip