Tue, 06 Nov 2018 14:30:53 +0100 | wenzelm | tuned; | changeset | files |
Sun, 04 Nov 2018 15:00:30 +0000 | haftmann | concrecte sorting algorithms beyond insertion sort | changeset | files |
Mon, 05 Nov 2018 23:15:58 +0100 | wenzelm | proper self_update for isolated host; | changeset | files |
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 |