Tue, 05 Jun 2018 21:29:54 +0200 |
wenzelm |
full benchmarks, including all conditional theories;
|
file |
diff |
annotate
|
Sat, 19 May 2018 15:45:45 +0200 |
wenzelm |
clarified store directories;
|
file |
diff |
annotate
|
Sat, 03 Mar 2018 21:40:04 +0100 |
wenzelm |
more Java heap, e.g. relevant for hg.graph on Isabelle repository;
|
file |
diff |
annotate
|
Sat, 10 Feb 2018 11:55:12 +0100 |
wenzelm |
more accessible src/Pure/ROOT.ML;
|
file |
diff |
annotate
|
Sun, 10 Dec 2017 14:29:14 +0100 |
wenzelm |
more explicit latex errors;
|
file |
diff |
annotate
|
Mon, 23 Oct 2017 19:30:39 +0200 |
wenzelm |
updated to jdk-8u152, which is for x86_64 only;
|
file |
diff |
annotate
|
Fri, 21 Apr 2017 13:51:43 +0200 |
wenzelm |
more uniform isabelle_scala;
|
file |
diff |
annotate
|
Sun, 15 Jan 2017 16:42:37 +0100 |
wenzelm |
updated to jvm-1.8;
|
file |
diff |
annotate
|
Sun, 15 Jan 2017 15:51:33 +0100 |
wenzelm |
clarified settings;
|
file |
diff |
annotate
|
Wed, 14 Sep 2016 14:37:38 +0200 |
wenzelm |
discontinued global etc/abbrevs;
|
file |
diff |
annotate
|
Sat, 13 Aug 2016 23:45:29 +0200 |
wenzelm |
gnuplot presentation similar to former isatest-statistics;
|
file |
diff |
annotate
|
Thu, 14 Jul 2016 12:21:12 +0200 |
wenzelm |
prefer HTTPS;
|
file |
diff |
annotate
|
Sun, 03 Apr 2016 23:56:52 +0200 |
wenzelm |
renamed ISABELLE_BUILD_JAVA_OPTIONS to ISABELLE_TOOL_JAVA_OPTIONS;
|
file |
diff |
annotate
|
Tue, 08 Mar 2016 20:02:46 +0100 |
wenzelm |
back to external line editor, due to problems of JLine with multithreading of in vs. out;
|
file |
diff |
annotate
|
Tue, 08 Mar 2016 18:15:16 +0100 |
wenzelm |
isabelle console is based on Isabelle/Scala;
|
file |
diff |
annotate
|
Wed, 17 Feb 2016 23:06:24 +0100 |
wenzelm |
SML/NJ is no longer supported;
|
file |
diff |
annotate
|
Sat, 23 Jan 2016 23:50:54 +0100 |
wenzelm |
back to elementary options used in Isabelle2015 for jdk-7 -- none of the intermediate experiments for jdk-8 improved reactivity on particular dual-CPU system, but the problem seems to be absent on common single-CPU systems;
|
file |
diff |
annotate
|
Sat, 02 Jan 2016 20:08:51 +0100 |
wenzelm |
eliminated somewhat pointless and obscure options;
|
file |
diff |
annotate
|
Wed, 30 Dec 2015 11:32:56 +0100 |
wenzelm |
tuned java options;
|
file |
diff |
annotate
|
Tue, 29 Dec 2015 17:36:18 +0100 |
wenzelm |
support additional abbrevs;
|
file |
diff |
annotate
|
Sun, 22 Nov 2015 23:13:02 +0100 |
wenzelm |
some GC options that potentially improve reactivity;
|
file |
diff |
annotate
|
Wed, 21 Oct 2015 18:00:12 +0200 |
wenzelm |
Isabelle fonts via external component;
|
file |
diff |
annotate
|
Wed, 07 Oct 2015 13:53:44 +0200 |
wenzelm |
back to old-fashioned GC, which appears to work better with interactive applications;
|
file |
diff |
annotate
|
Thu, 10 Sep 2015 11:47:14 +0200 |
wenzelm |
less ambitious options, to accomodate 4GB systems;
|
file |
diff |
annotate
|
Tue, 08 Sep 2015 17:34:46 +0200 |
wenzelm |
clarified Java runtime options (NB: ISABELLE_JAVA_PLATFORM is determined later via component);
|
file |
diff |
annotate
|
Tue, 08 Sep 2015 11:44:15 +0200 |
wenzelm |
clarified ISABELLE_BUILD_JAVA_OPTIONS;
|
file |
diff |
annotate
|
Wed, 26 Aug 2015 14:59:26 +0200 |
wenzelm |
use fancy options of Java 8;
|
file |
diff |
annotate
|
Fri, 24 Apr 2015 23:05:33 +0200 |
wenzelm |
more paranoia settings, e.g. relevant for Ubuntu 15.04;
|
file |
diff |
annotate
|
Mon, 23 Feb 2015 15:04:12 +0100 |
wenzelm |
more uniform headless mode for all derivatives of "build" (amending df5dc24ca712);
|
file |
diff |
annotate
|
Thu, 11 Dec 2014 23:31:30 +0100 |
wenzelm |
added Par_List in Scala, in accordance to ML version;
|
file |
diff |
annotate
|
Thu, 09 Oct 2014 11:15:03 +0200 |
wenzelm |
prefer Unix standard-conformant $TMPDIR over hard-wired /tmp;
|
file |
diff |
annotate
|
Tue, 01 Jul 2014 14:05:05 +0200 |
wenzelm |
more release notes;
|
file |
diff |
annotate
|
Mon, 30 Jun 2014 10:10:32 +0200 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
Mon, 30 Jun 2014 09:43:44 +0200 |
wenzelm |
"isabelle tty" is superseded by "isabelle console";
|
file |
diff |
annotate
|
Wed, 23 Apr 2014 10:49:30 +0200 |
wenzelm |
tuned options for scalac;
|
file |
diff |
annotate
|
Tue, 22 Apr 2014 23:01:59 +0200 |
wenzelm |
updated to scala-2.11.0 with classpath provided by its etc/settings;
|
file |
diff |
annotate
|
Tue, 22 Apr 2014 22:27:29 +0200 |
wenzelm |
no need to copy jars, after regular use of classpath in 793a429c63e7;
|
file |
diff |
annotate
|
Sat, 05 Apr 2014 19:07:05 +0200 |
wenzelm |
proper settings instead of hard-wired information;
|
file |
diff |
annotate
|
Mon, 06 Jan 2014 19:42:52 +0100 |
wenzelm |
misc tuning and clarification;
|
file |
diff |
annotate
|
Mon, 06 Jan 2014 17:33:23 +0100 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
Fri, 06 Dec 2013 22:50:47 +0100 |
wenzelm |
generic $ISABELLE_OPEN;
|
file |
diff |
annotate
|
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;
|
file |
diff |
annotate
|
Mon, 07 Oct 2013 13:42:33 +0200 |
wenzelm |
prefer "fresh" open -- requires Lion / Mountain Lion;
|
file |
diff |
annotate
|
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;
|
file |
diff |
annotate
|
Thu, 12 Sep 2013 13:48:17 +0200 |
wenzelm |
clarified directory structure;
|
file |
diff |
annotate
|
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);
|
file |
diff |
annotate
|
Sat, 31 Aug 2013 13:34:39 +0200 |
wenzelm |
provide ISABELLE_JAVA_SYSTEM_OPTIONS via settings;
|
file |
diff |
annotate
|
Tue, 30 Jul 2013 15:45:01 +0200 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
Sat, 27 Jul 2013 22:20:25 +0200 |
wenzelm |
discontinued historic document formats;
|
file |
diff |
annotate
|
Sat, 27 Jul 2013 21:43:12 +0200 |
wenzelm |
discontinued ISABELLE_DOC_FORMAT;
|
file |
diff |
annotate
|
Sun, 07 Jul 2013 18:43:14 +0200 |
wenzelm |
discontinued obsolete "isabelle print";
|
file |
diff |
annotate
|
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);
|
file |
diff |
annotate
|
Fri, 17 May 2013 18:19:42 +0200 |
wenzelm |
discontinued obsolete isabelle usedir, mkdir, make;
|
file |
diff |
annotate
|
Tue, 14 May 2013 12:21:35 +0200 |
wenzelm |
more generous java resources via ISABELLE_BUILD_JAVA_OPTIONS;
|
file |
diff |
annotate
|
Sun, 12 May 2013 14:25:16 +0200 |
wenzelm |
decentralized historic settings;
|
file |
diff |
annotate
|
Sat, 09 Mar 2013 18:22:20 +0100 |
wenzelm |
accomodate encrypted file-system on linux;
|
file |
diff |
annotate
|
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;
|
file |
diff |
annotate
|
Wed, 29 Aug 2012 20:16:22 +0200 |
wenzelm |
provide polyml-5.4.1 as regular component;
|
file |
diff |
annotate
|
Fri, 17 Aug 2012 14:56:37 +0200 |
wenzelm |
added "isabelle components" tool;
|
file |
diff |
annotate
|
Sat, 28 Jul 2012 13:11:58 +0200 |
wenzelm |
discontinued special treatment of Proof General;
|
file |
diff |
annotate
|
Fri, 27 Jul 2012 16:27:26 +0200 |
wenzelm |
proper shell variable;
|
file |
diff |
annotate
|
Tue, 24 Jul 2012 11:39:22 +0200 |
wenzelm |
further imitation of ISABELLE_USEDIR_OPTIONS via options;
|
file |
diff |
annotate
|
Mon, 23 Jul 2012 16:16:10 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 23 Jul 2012 12:05:48 +0200 |
wenzelm |
updated smlnj settings;
|
file |
diff |
annotate
|
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);
|
file |
diff |
annotate
|
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*);
|
file |
diff |
annotate
|
Wed, 25 Apr 2012 15:44:26 +0200 |
wenzelm |
smarter PDF_VIEWER defaults, based on hints by Lars Noschinski;
|
file |
diff |
annotate
|
Tue, 24 Apr 2012 15:56:09 +0200 |
wenzelm |
prefer evince over old xpdf -- NB: x86-cygwin bundles its own application;
|
file |
diff |
annotate
|
Sun, 22 Apr 2012 14:30:18 +0200 |
wenzelm |
USER_HOME settings variable points to cross-platform user home directory;
|
file |
diff |
annotate
|
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
|
file |
diff |
annotate
|
Wed, 28 Mar 2012 13:53:30 +0200 |
wenzelm |
clarified ISABELLE_JDK_HOME: derive from running JVM, but ignore accidental JAVA_HOME;
|
file |
diff |
annotate
|
Wed, 28 Mar 2012 11:04:39 +0200 |
wenzelm |
updated comments;
|
file |
diff |
annotate
|
Sat, 24 Mar 2012 20:24:16 +0100 |
wenzelm |
ISABELLE_JDK_HOME settings variable points to JDK with javac and jar (not just JRE);
|
file |
diff |
annotate
|
Sun, 18 Mar 2012 21:52:50 +0100 |
wenzelm |
less noisy Isabelle/Scala build process;
|
file |
diff |
annotate
|
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);
|
file |
diff |
annotate
|
Sat, 15 Oct 2011 15:55:10 +0200 |
wenzelm |
updated to polyml-5.4.1;
|
file |
diff |
annotate
|
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;
|
file |
diff |
annotate
|
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;
|
file |
diff |
annotate
|
Thu, 23 Jun 2011 16:10:22 +0200 |
wenzelm |
provide Isabelle/Scala environment as Java extension, instead of user classpath
|
file |
diff |
annotate
|
Wed, 22 Jun 2011 21:54:35 +0200 |
wenzelm |
clarified default ML settings;
|
file |
diff |
annotate
|
Mon, 20 Jun 2011 23:19:38 +0200 |
wenzelm |
simplified/generalized ISABELLE_FONTS handling;
|
file |
diff |
annotate
|
Mon, 14 Mar 2011 15:17:10 +0100 |
wenzelm |
example settings for ISABELLE_GHC, ISABELLE_OCAML, ISABELLE_SWIPL;
|
file |
diff |
annotate
|
Sun, 13 Mar 2011 20:56:00 +0100 |
wenzelm |
files are identified via SHA1 digests -- discontinued ISABELLE_FILE_IDENT;
|
file |
diff |
annotate
|
Sun, 13 Mar 2011 17:35:35 +0100 |
wenzelm |
some cleanup of old-style settings;
|
file |
diff |
annotate
|
Sun, 13 Mar 2011 17:28:14 +0100 |
wenzelm |
clarified ISABELLE_CSDP setting (formerly CSDP_EXE);
|
file |
diff |
annotate
|
Tue, 18 Jan 2011 21:29:56 +0100 |
wenzelm |
Apple's way of locating java;
|
file |
diff |
annotate
|
Mon, 10 Jan 2011 17:22:48 +0100 |
wenzelm |
updated for polyml-5.4.0;
|
file |
diff |
annotate
|
Tue, 16 Nov 2010 22:13:54 +0100 |
wenzelm |
more robust determination of java executable;
|
file |
diff |
annotate
|
Mon, 15 Nov 2010 17:14:43 +0100 |
wenzelm |
more robust treatment of spaces in file names;
|
file |
diff |
annotate
|
Fri, 05 Nov 2010 23:19:20 +0100 |
wenzelm |
moved ISABELLE_IDENTIFIER from ISABELLE_OUTPUT further up to ISABELLE_HOME_USER;
|
file |
diff |
annotate
|
Fri, 28 May 2010 20:41:23 +0200 |
wenzelm |
assume given SCALA_HOME, e.g. from component settings or external setup;
|
file |
diff |
annotate
|
Sat, 22 May 2010 20:20:51 +0200 |
wenzelm |
use proper ISABELLE_PLATFORM instead of adhoc uname;
|
file |
diff |
annotate
|
Sat, 22 May 2010 19:42:20 +0200 |
wenzelm |
rendering information and style sheets via settings;
|
file |
diff |
annotate
|
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;
|
file |
diff |
annotate
|
Mon, 19 Apr 2010 10:56:26 +0200 |
wenzelm |
polyml-platform script is superseded by ISABELLE_PLATFORM;
|
file |
diff |
annotate
|
Sat, 17 Apr 2010 20:42:26 +0200 |
wenzelm |
improved ISABELLE_JAVA, based on THIS_JAVA of the actually running JVM;
|
file |
diff |
annotate
|
Sat, 06 Feb 2010 22:54:53 +0100 |
wenzelm |
removed ever experimental support for Moscow ML -- hardly works anymore;
|
file |
diff |
annotate
|
Mon, 04 Jan 2010 11:55:23 +0100 |
wenzelm |
discontinued special HOL_USEDIR_OPTIONS;
|
file |
diff |
annotate
|
Sun, 29 Nov 2009 17:34:41 +0100 |
wenzelm |
deactivated default for E_HOME, SPASS_HOME -- now configured as components;
|
file |
diff |
annotate
|
Mon, 09 Nov 2009 21:30:54 +0100 |
wenzelm |
setup for official Poly/ML 5.3.0, which is now the default;
|
file |
diff |
annotate
|
Sat, 07 Nov 2009 16:54:13 +0100 |
wenzelm |
tuned ML_OPTIONS for SML/NJ -- for improved performance;
|
file |
diff |
annotate
|
Fri, 28 Aug 2009 10:52:44 +0200 |
wenzelm |
PDF_VIEWER: more Unix-ish behaviour on Mac OS;
|
file |
diff |
annotate
|
Sat, 22 Aug 2009 23:16:11 +0200 |
wenzelm |
removed jedit setup -- now a self-contained component (external);
|
file |
diff |
annotate
|
Thu, 06 Aug 2009 19:51:59 +0200 |
wenzelm |
misc changes to SOS by Philipp Meyer:
|
file |
diff |
annotate
|
Tue, 04 Aug 2009 01:01:23 +0200 |
wenzelm |
basic support for components (which imitate the usual Isabelle directory layout);
|
file |
diff |
annotate
|
Thu, 30 Jul 2009 23:23:52 +0200 |
wenzelm |
ISABELLE_USEDIR_OPTIONS: -q 2 by default;
|
file |
diff |
annotate
|
Sun, 19 Jul 2009 19:24:04 +0200 |
wenzelm |
parallel_proofs: more fine-grained control with optional parallel checking of nested Isar proofs;
|
file |
diff |
annotate
|
Fri, 03 Jul 2009 10:54:26 +0200 |
wenzelm |
SCALA_HOME: proper line escapes for choosefrom;
|
file |
diff |
annotate
|
Fri, 03 Jul 2009 00:00:03 +0200 |
wenzelm |
observe SCALA_HOME, if available;
|
file |
diff |
annotate
|
Sun, 14 Jun 2009 23:18:32 +0200 |
wenzelm |
back to default -M max, with more robust interpretation of corresponding max_threads value;
|
file |
diff |
annotate
|
Thu, 04 Jun 2009 23:42:11 +0200 |
wenzelm |
example settings for Poly/ML 5.3 (experimental);
|
file |
diff |
annotate
|
Thu, 04 Jun 2009 22:01:54 +0200 |
wenzelm |
retrieve ML source files;
|
file |
diff |
annotate
|
Thu, 04 Jun 2009 12:09:07 +0200 |
wenzelm |
uniform default settings for E, Vampire, SPASS;
|
file |
diff |
annotate
|
Sun, 31 May 2009 14:16:32 +0200 |
wenzelm |
updated example settings;
|
file |
diff |
annotate
|
Sun, 31 May 2009 14:15:07 +0200 |
wenzelm |
discontinued support for Poly/ML 4.x versions;
|
file |
diff |
annotate
|
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);
|
file |
diff |
annotate
|
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;
|
file |
diff |
annotate
|
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.
|
file |
diff |
annotate
|
Wed, 04 Mar 2009 11:05:29 +0100 |
blanchet |
Merge.
|
file |
diff |
annotate
|
Wed, 04 Mar 2009 10:45:52 +0100 |
blanchet |
Merge.
|
file |
diff |
annotate
|