| #
55ea4bb2 |
|
22-Mar-2019 |
wenzelm <none@none> |
even more robust and conservative OCaml setup;
|
| #
01b11587 |
|
21-Mar-2019 |
wenzelm <none@none> |
further robustification (amending 772bdd1ed843);
|
| #
6a6f1828 |
|
21-Mar-2019 |
wenzelm <none@none> |
proper ISABELLE_OCAML_VERSION;
|
| #
87ca97cf |
|
21-Mar-2019 |
wenzelm <none@none> |
more robust "switch create";
disable sandboxing to avoid dependency on bubblewrap (unavailable on Ubuntu 16.04);
|
| #
81e86b6f |
|
20-Mar-2019 |
wenzelm <none@none> |
avoid prompt;
|
| #
9d13eff9 |
|
20-Mar-2019 |
wenzelm <none@none> |
more robust: allow empty root (e.g. via symlink);
|
| #
bde8c993 |
|
14-Mar-2019 |
haftmann <none@none> |
include zarith in the default opam setup
|
| #
467f4f57 |
|
22-Dec-2018 |
wenzelm <none@none> |
tuned messages;
|
| #
ce5684ea |
|
17-Oct-2018 |
wenzelm <none@none> |
tuned message;
|
| #
ba7887dc |
|
09-Oct-2018 |
wenzelm <none@none> |
allow to switch ISABELLE_OCAML_VERSION later on;
simplified command-line: no user args;
|
| #
7cd6ca87 |
|
08-Oct-2018 |
wenzelm <none@none> |
support for OCaml via command-line tools;
|