Admin/isatest/isatest-makedist
2012-08-14 wenzelm 2012-08-14 always retain doc-src (as regular component);
2012-08-01 wenzelm 2012-08-01 clarified ISABELLE_FULL_TEST;
2012-07-30 wenzelm 2012-07-30 updated isatest to isabelle build, which also includes doc-src sessions;
2012-07-14 wenzelm 2012-07-14 removed some old/unused stuff; tuned whitespace;
2012-07-14 wenzelm 2012-07-14 actually remove former atbroy102/cygwin stuff (cf. 6301046146b6, 08cb859c53cd);
2012-07-09 Gerwin Klein 2012-07-09 make sure var/running dir exists for isatest
2012-07-09 Gerwin Klein 2012-07-09 removed switched-off atbroy102 from isatest; no cygwin test currently running, needs a working server somewhere
2012-07-07 wenzelm 2012-07-07 prefer lxbroy[23] as standard test machines;
2012-06-27 wenzelm 2012-06-27 more tests on lxbroy[234], which are 4 core Xeon machines;
2012-06-27 wenzelm 2012-06-27 moved crontab to lxbroy2, one of the newer server machines; avoid macbroy27 for now due to spurious NFS issues;
2012-06-26 wenzelm 2012-06-26 use macbroy27 instead of macbroy28, which is broken for several weeks already;
2012-04-14 wenzelm 2012-04-14 use official TextArea.isCaretVisible and thus follow the "blink" flag; updated jedit_build component;
2012-04-14 wenzelm 2012-04-14 updated Scala/JVM versions;
2012-03-21 wenzelm 2012-03-21 improved isatest arguments for macbroy2;
2012-03-13 wenzelm 2012-03-13 updated to jedit_build-20120313 with jedit-4.5.0; updated version information;
2011-12-28 wenzelm 2011-12-28 discontinued broken macbroy5 and thus the obsolete ppc-darwin platform;
2011-12-28 wenzelm 2011-12-28 more selective target "full" -- avoid failure of HOL-Datatype_Benchmark on 32bit platforms;
2011-12-17 wenzelm 2011-12-17 updated jedit_build component;
2011-10-15 wenzelm 2011-10-15 prefer recent polyml-5.4.1, but retain potentially fragile polyml-5.2.1 as experimental test;
2011-09-18 wenzelm 2011-09-18 isatest settings for macbroy6 (Mac OS X Lion);
2011-06-22 wenzelm 2011-06-22 updated to jedit-4.4.1 and jedit_build-20110622;
2011-06-20 wenzelm 2011-06-20 updated to jedit_build-20110620;
2011-06-19 wenzelm 2011-06-19 updated to jedit_build-20110619;
2011-06-18 wenzelm 2011-06-18 updated to jedit_build-20110618, which is required for sub/superscript rendering;
2011-06-11 wenzelm 2011-06-11 reverted 5fcd0ca1f582 -- isatest provides its own libgmp3 via LD_LIBRARY_PATH, which are also required for swipl;
2011-06-10 wenzelm 2011-06-10 isatest/makedist: build Isabelle/jEdit;
2011-06-10 wenzelm 2011-06-10 use existing ghc on macbroy20;
2011-04-20 wenzelm 2011-04-20 migrated macbroy6 to macbroy30, which is the new "mobile" server (2 cores, 4 GB, Mac OS 10.5);
2011-03-14 wenzelm 2011-03-14 isatest: fresh copy of settings avoids odd cumulative environment;
2011-01-17 wenzelm 2011-01-17 isatest: run at-poly on macbroy28 for slightly more robust isatest-doc;
2010-11-27 wenzelm 2010-11-27 recovered global "Isabelle" symlink for isatest (cf. 7f745e4b7cce);
2010-07-21 wenzelm 2010-07-21 reactivate SML/NJ test on macbroy28, while macbroy23 is unavailable;
2010-05-28 wenzelm 2010-05-28 discontinued Sun/Solaris tests;
2010-04-21 wenzelm 2010-04-21 marked cygwin-poly as "e" test, which means further stages do not depend on it (website etc.);
2010-04-17 wenzelm 2010-04-17 isatest: more robust treatment of remote files, less reliance on mounted file system;
2010-04-16 wenzelm 2010-04-16 isatest: improved treatment of local files on atbroy102;
2010-04-09 wenzelm 2010-04-09 isatest: more uniform setup for Unix vs. Cygwin;
2010-04-02 wenzelm 2010-04-02 isatest: basic setup for cygwin-poly on atbroy102;
2010-03-23 wenzelm 2010-03-23 even less ambitious isatest for smlnj;
2010-02-27 wenzelm 2010-02-27 added at-poly-test, which is intended for performance tests of Poly/ML itself;
2010-02-19 wenzelm 2010-02-19 disabled some old (fragile) isatests;
2010-02-17 wenzelm 2010-02-17 giving up sunbroy2;
2009-12-30 wenzelm 2009-12-30 less ambitious isatest for SML/NJ;
2009-11-19 wenzelm 2009-11-19 some attempts to improve termination of isatest;
2009-10-26 wenzelm 2009-10-26 reactivated test on sunbroy2 -- with full proof parallelism (requires Poly/ML-SVN-921);
2009-10-23 wenzelm 2009-10-23 reactivated isatest on macbroy6 -- 3h later to avoid overlap with backup daemon;
2009-10-17 wenzelm 2009-10-17 disable sunbroy2 for now;
2009-10-02 wenzelm 2009-10-02 macbroy2: bigger jobs first, to avoid danger of swapping during daytime;
2009-09-28 wenzelm 2009-09-28 reactivated at-sml-dev-e;
2009-09-23 krauss 2009-09-23 atbroy101 is long dead, use atbroy99; comment out broken SML test invocation
2009-08-27 wenzelm 2009-08-27 avoid macbroy21 for now -- hardware problems;
2009-08-08 wenzelm 2009-08-08 refined mac-poly64 tests;
2009-07-21 wenzelm 2009-07-21 disabled macbroy6 -- hardware repair;
2009-06-30 wenzelm 2009-06-30 added isatest for x86_64-darwin;
2009-06-16 wenzelm 2009-06-16 another attempt to get a reduced at-sml-dev-e test;
2009-06-13 wenzelm 2009-06-13 moved at-mac-poly-5.1-para back to macbroy6, for continous performance figures;
2009-06-12 wenzelm 2009-06-12 eliminated obsolete CVS2CL;
2009-06-12 wenzelm 2009-06-12 eliminated cvs ids;
2009-06-12 wenzelm 2009-06-12 more isatests; macbroy23: nice at-sml-dev-e;
2009-06-03 kleing 2009-06-03 switch at-sml-dev-e back to full test on macbroy23