| 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
|
| 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.
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| Wed, 21 Jan 2009 15:26:02 +0100 |
immler |
removed vampire-wrapper (remote-script covers that)
|
file |
diff |
annotate
|