| Tue, 21 Oct 2008 23:54:42 +0200 |
wenzelm |
less ambitious default for JEDIT_JAVA_OPTIONS;
|
file |
diff |
annotate
|
| Tue, 21 Oct 2008 22:21:28 +0200 |
wenzelm |
JEDIT_OPTIONS: moved -settings to interface script (more robust);
|
file |
diff |
annotate
|
| Tue, 21 Oct 2008 21:59:22 +0200 |
wenzelm |
make JEDIT_JAVA_OPTIONS and JEDIT_OPTIONS actually work;
|
file |
diff |
annotate
|
| Tue, 21 Oct 2008 20:18:45 +0200 |
wenzelm |
added jEdit settings;
|
file |
diff |
annotate
|
| 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;
|
file |
diff |
annotate
|
| Fri, 03 Oct 2008 14:06:19 +0200 |
wenzelm |
Vampire wrapper script for remote SystemOnTPTP service (by Fabian Immler);
|
file |
diff |
annotate
|
| Fri, 03 Oct 2008 13:21:01 +0200 |
wenzelm |
added PROOFGENERAL_EMACS, with attempt to find Carbon Emacs;
|
file |
diff |
annotate
|
| Tue, 16 Sep 2008 17:16:27 +0200 |
wenzelm |
added PROOFGENERAL_HOME;
|
file |
diff |
annotate
|
| Sat, 16 Aug 2008 16:44:10 +0200 |
wenzelm |
add scala-library.jar if available;
|
file |
diff |
annotate
|
| Sat, 16 Aug 2008 13:31:55 +0200 |
wenzelm |
added ISABELLE_SCALA, ISABELLE_JAVA;
|
file |
diff |
annotate
|
| Fri, 15 Aug 2008 22:58:59 +0200 |
wenzelm |
added JVM components (Scala or Java);
|
file |
diff |
annotate
|
| Sat, 14 Jun 2008 17:26:10 +0200 |
wenzelm |
removed experimental Poplog/PML support;
|
file |
diff |
annotate
|
| Thu, 15 May 2008 20:02:37 +0200 |
wenzelm |
removed obsolete thumbpdf;
|
file |
diff |
annotate
|
| Thu, 06 Mar 2008 19:21:23 +0100 |
wenzelm |
removed obsolete THIS_IS_ISABELLE_BUILD feature;
|
file |
diff |
annotate
|
| Wed, 05 Mar 2008 22:48:50 +0100 |
wenzelm |
ISABELLE_LINE_EDITOR: prefer rlwrap, which passes interrupts properly;
|
file |
diff |
annotate
|
| Fri, 25 Jan 2008 22:03:29 +0100 |
wenzelm |
* Default settings: PROOFGENERAL_OPTIONS no longer impose xemacs here;
|
file |
diff |
annotate
|
| Fri, 14 Dec 2007 21:15:33 +0100 |
wenzelm |
added ISABELLE_LINE_EDITOR;
|
file |
diff |
annotate
|
| Wed, 28 Nov 2007 19:54:50 +0100 |
wenzelm |
polyml: default heap size is back to -H 200 (people are still using
|
file |
diff |
annotate
|
| Thu, 08 Nov 2007 20:07:57 +0100 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
| Sat, 20 Oct 2007 18:54:28 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 17 Sep 2007 11:11:13 +0200 |
haftmann |
platform-sensitive default location for ATP provers
|
file |
diff |
annotate
|
| Thu, 06 Sep 2007 17:06:04 +0200 |
paulson |
Auto-config of E_HOME, SPASS_HOME, VAMPIRE_HOME
|
file |
diff |
annotate
|
| Wed, 29 Aug 2007 23:06:27 +0200 |
wenzelm |
renamed POLYML_LINK_OPTIONS to POLY_LINK_OPTIONS;
|
file |
diff |
annotate
|
| Wed, 29 Aug 2007 22:47:01 +0200 |
wenzelm |
added POLYML_LINK_OPTIONS, which is required for unusual platforms (notably cygwin);
|
file |
diff |
annotate
|
| Mon, 27 Aug 2007 17:34:55 +0200 |
wenzelm |
HOL_USEDIR_OPTIONS: no special -M setting (now works with multithreaded);
|
file |
diff |
annotate
|
| Fri, 10 Aug 2007 10:54:19 +0200 |
wenzelm |
HOL_USEDIR_OPTIONS: default to -M 1 (more robust);
|
file |
diff |
annotate
|
| Fri, 10 Aug 2007 10:41:57 +0200 |
wenzelm |
added jEdit mode spec;
|
file |
diff |
annotate
|
| Mon, 23 Jul 2007 01:17:57 +0200 |
kleing |
increase default max heap size for poly to -H 500 (this is what isatest uses,
|
file |
diff |
annotate
|
| Tue, 17 Jul 2007 22:51:13 +0200 |
wenzelm |
added ISABELLE_FILE_IDENT (command line for source file identification);
|
file |
diff |
annotate
|
| Wed, 30 May 2007 23:32:54 +0200 |
wenzelm |
tuned USEDIR_OPTIONS;
|
file |
diff |
annotate
|