| Wed, 01 Aug 2012 15:50:50 +0200 |
wenzelm |
clarified ISABELLE_FULL_TEST;
|
file |
diff |
annotate
|
| Mon, 30 Jul 2012 16:40:21 +0200 |
wenzelm |
updated isatest to isabelle build, which also includes doc-src sessions;
|
file |
diff |
annotate
|
| Sat, 14 Jul 2012 21:15:41 +0200 |
wenzelm |
removed some old/unused stuff;
|
file |
diff |
annotate
|
| Sat, 14 Jul 2012 21:05:29 +0200 |
wenzelm |
actually remove former atbroy102/cygwin stuff (cf. 6301046146b6, 08cb859c53cd);
|
file |
diff |
annotate
|
| Mon, 09 Jul 2012 09:28:26 +1000 |
Gerwin Klein |
make sure var/running dir exists for isatest
|
file |
diff |
annotate
|
| Mon, 09 Jul 2012 09:15:28 +1000 |
Gerwin Klein |
removed switched-off atbroy102 from isatest; no cygwin test currently running, needs a working server somewhere
|
file |
diff |
annotate
|
| Sat, 07 Jul 2012 19:41:59 +0200 |
wenzelm |
prefer lxbroy[23] as standard test machines;
|
file |
diff |
annotate
|
| Wed, 27 Jun 2012 17:36:24 +0200 |
wenzelm |
more tests on lxbroy[234], which are 4 core Xeon machines;
|
file |
diff |
annotate
|
| Wed, 27 Jun 2012 17:33:49 +0200 |
wenzelm |
moved crontab to lxbroy2, one of the newer server machines;
|
file |
diff |
annotate
|
| Tue, 26 Jun 2012 15:55:02 +0200 |
wenzelm |
use macbroy27 instead of macbroy28, which is broken for several weeks already;
|
file |
diff |
annotate
|
| Sat, 14 Apr 2012 19:09:34 +0200 |
wenzelm |
use official TextArea.isCaretVisible and thus follow the "blink" flag;
|
file |
diff |
annotate
|
| Sat, 14 Apr 2012 11:46:35 +0200 |
wenzelm |
updated Scala/JVM versions;
|
file |
diff |
annotate
|
| Wed, 21 Mar 2012 11:36:47 +0100 |
wenzelm |
improved isatest arguments for macbroy2;
|
file |
diff |
annotate
|
| Tue, 13 Mar 2012 23:45:34 +0100 |
wenzelm |
updated to jedit_build-20120313 with jedit-4.5.0;
|
file |
diff |
annotate
|
| Wed, 28 Dec 2011 13:13:27 +0100 |
wenzelm |
discontinued broken macbroy5 and thus the obsolete ppc-darwin platform;
|
file |
diff |
annotate
|
| Wed, 28 Dec 2011 13:08:18 +0100 |
wenzelm |
more selective target "full" -- avoid failure of HOL-Datatype_Benchmark on 32bit platforms;
|
file |
diff |
annotate
|
| Sat, 17 Dec 2011 16:24:14 +0100 |
wenzelm |
updated jedit_build component;
|
file |
diff |
annotate
|
| Sat, 15 Oct 2011 17:00:17 +0200 |
wenzelm |
prefer recent polyml-5.4.1, but retain potentially fragile polyml-5.2.1 as experimental test;
|
file |
diff |
annotate
|
| Sun, 18 Sep 2011 16:33:30 +0200 |
wenzelm |
isatest settings for macbroy6 (Mac OS X Lion);
|
file |
diff |
annotate
|
| Wed, 22 Jun 2011 16:32:36 +0200 |
wenzelm |
updated to jedit-4.4.1 and jedit_build-20110622;
|
file |
diff |
annotate
|
| Mon, 20 Jun 2011 22:48:41 +0200 |
wenzelm |
updated to jedit_build-20110620;
|
file |
diff |
annotate
|
| Sun, 19 Jun 2011 21:38:48 +0200 |
wenzelm |
updated to jedit_build-20110619;
|
file |
diff |
annotate
|
| Sat, 18 Jun 2011 17:42:28 +0200 |
wenzelm |
updated to jedit_build-20110618, which is required for sub/superscript rendering;
|
file |
diff |
annotate
|
| Sat, 11 Jun 2011 14:27:23 +0200 |
wenzelm |
reverted 5fcd0ca1f582 -- isatest provides its own libgmp3 via LD_LIBRARY_PATH, which are also required for swipl;
|
file |
diff |
annotate
|
| Fri, 10 Jun 2011 17:37:50 +0200 |
wenzelm |
isatest/makedist: build Isabelle/jEdit;
|
file |
diff |
annotate
|
| Fri, 10 Jun 2011 14:59:30 +0200 |
wenzelm |
use existing ghc on macbroy20;
|
file |
diff |
annotate
|
| Wed, 20 Apr 2011 13:10:54 +0200 |
wenzelm |
migrated macbroy6 to macbroy30, which is the new "mobile" server (2 cores, 4 GB, Mac OS 10.5);
|
file |
diff |
annotate
|
| Mon, 14 Mar 2011 15:13:00 +0100 |
wenzelm |
isatest: fresh copy of settings avoids odd cumulative environment;
|
file |
diff |
annotate
|
| Mon, 17 Jan 2011 17:27:26 +0100 |
wenzelm |
isatest: run at-poly on macbroy28 for slightly more robust isatest-doc;
|
file |
diff |
annotate
|
| Sat, 27 Nov 2010 11:51:05 +0100 |
wenzelm |
recovered global "Isabelle" symlink for isatest (cf. 7f745e4b7cce);
|
file |
diff |
annotate
|