| 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
|
| 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
|
| Mon, 05 Nov 2018 15:00:55 +0100 |
wenzelm |
prefer symbolic path: it is potentially persisted;
|
changeset |
files
|
| Mon, 05 Nov 2018 15:00:22 +0100 |
wenzelm |
tuned (see map_index);
|
changeset |
files
|
| Mon, 05 Nov 2018 11:29:11 +0100 |
wenzelm |
tuned;
|
changeset |
files
|
| Mon, 05 Nov 2018 10:02:21 +0100 |
nipkow |
simplified proof, moved lemma, added lemma
|
changeset |
files
|
| Sun, 04 Nov 2018 17:19:56 +0100 |
wenzelm |
more Haskell operations;
|
changeset |
files
|
| Sun, 04 Nov 2018 15:28:51 +0100 |
wenzelm |
ported from src/Pure/General/value.ML;
|
changeset |
files
|