2014-05-20 wenzelm 2014-05-20 adhoc move to lxbroy10, which has 120 GB more memory than lxbroy2;
2012-07-30 wenzelm 2012-07-30 updated isatest to isabelle build, which also includes doc-src sessions;
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;