--- a/src/Pure/Admin/isabelle_cronjob.scala Sun May 14 22:07:16 2017 +0200
+++ b/src/Pure/Admin/isabelle_cronjob.scala Mon May 15 14:27:14 2017 +0200
@@ -175,7 +175,7 @@
val remote_builds: List[List[Remote_Build]] =
{
List(
- List(Remote_Build("Poly/ML 5.7 Linux", "lxbroy8", historic = true, history = 90,
+ List(Remote_Build("Poly/ML 5.7 Linux", "lxbroy8",
history_base = "37074e22e8be",
options = "-m32 -B -M1x2,2 -t polyml-5.7 -e 'init_component /home/isabelle/contrib/polyml-5.7'",
args = "-N -g timing",