| 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
|