> Still missing in the setup: > * cross-platform/cross-parameter testing > * archival of the build logs > * time series I forgot: * installing compilers and setting the various ISABELLE_GHC/ISABELLE_OCAMLC etc. for Codegenerator_Test