Mon, 05 Nov 2018 22:15:07 +0100 | wenzelm | renovated macOS tests; | changeset | files |
Mon, 05 Nov 2018 21:59:22 +0100 | wenzelm | support remote_build_history with optional ghc_setup / ocaml_setup; | changeset | files |
Mon, 05 Nov 2018 20:53:16 +0100 | wenzelm | more robust: avoid isabelle_stack invocation in settings script (potentially slow or failing); | changeset | files |