equal
deleted
inserted
replaced
312 |
312 |
313 val remote_builds1: List[List[Remote_Build]] = |
313 val remote_builds1: List[List[Remote_Build]] = |
314 { |
314 { |
315 List( |
315 List( |
316 List(Remote_Build("Linux A", "augsburg1", |
316 List(Remote_Build("Linux A", "augsburg1", |
317 options = "-m32 -B -M1x2,2,4" + |
317 options = "-m32 -B -M4" + |
318 " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAMLFIND=ocamlfind" + |
318 " -e ISABELLE_OCAML=ocaml -e ISABELLE_OCAMLC=ocamlc -e ISABELLE_OCAMLFIND=ocamlfind" + |
319 " -e ISABELLE_GHC_SETUP=true" + |
319 " -e ISABELLE_GHC_SETUP=true" + |
320 " -e ISABELLE_MLTON=mlton" + |
320 " -e ISABELLE_MLTON=mlton" + |
321 " -e ISABELLE_SMLNJ=sml" + |
321 " -e ISABELLE_SMLNJ=sml" + |
322 " -e ISABELLE_SWIPL=swipl", |
322 " -e ISABELLE_SWIPL=swipl", |