| 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 |
| Mon, 05 Nov 2018 17:37:55 +0100 | wenzelm | clarified names; | changeset | files |
| Mon, 05 Nov 2018 17:06:50 +0100 | wenzelm | more Haskell operations; | changeset | files |
| Mon, 05 Nov 2018 15:04:31 +0100 | wenzelm | support sub-directories, i.e. structure module names; | changeset | files |