etc/settings
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
less more (0) -100 -60 tip