| Wed, 15 Jan 2025 15:13:39 +0100 |
wenzelm |
provide less ambitious "isabelle ocaml_setup_base", notably for platforms without gmp-dev;
|
file |
diff |
annotate
|
| Wed, 10 Mar 2021 19:03:24 +0100 |
wenzelm |
more robust init: avoid spilling opam artifacts;
|
file |
diff |
annotate
|
| Fri, 22 Mar 2019 10:36:50 +0100 |
wenzelm |
even more robust and conservative OCaml setup;
|
file |
diff |
annotate
|
| Thu, 21 Mar 2019 16:16:43 +0100 |
wenzelm |
further robustification (amending 772bdd1ed843);
|
file |
diff |
annotate
|
| Thu, 21 Mar 2019 14:54:25 +0100 |
wenzelm |
proper ISABELLE_OCAML_VERSION;
|
file |
diff |
annotate
|
| Thu, 21 Mar 2019 13:34:37 +0100 |
wenzelm |
more robust "switch create";
|
file |
diff |
annotate
|
| Wed, 20 Mar 2019 21:15:20 +0100 |
wenzelm |
avoid prompt;
|
file |
diff |
annotate
|
| Wed, 20 Mar 2019 17:33:06 +0100 |
wenzelm |
more robust: allow empty root (e.g. via symlink);
|
file |
diff |
annotate
|
| Thu, 14 Mar 2019 19:06:40 +0100 |
haftmann |
include zarith in the default opam setup
|
file |
diff |
annotate
|
| Sat, 22 Dec 2018 17:02:29 +0100 |
wenzelm |
tuned messages;
|
file |
diff |
annotate
|
| Wed, 17 Oct 2018 21:36:57 +0200 |
wenzelm |
tuned message;
|
file |
diff |
annotate
|
| Tue, 09 Oct 2018 13:06:39 +0200 |
wenzelm |
allow to switch ISABELLE_OCAML_VERSION later on;
|
file |
diff |
annotate
|
| Mon, 08 Oct 2018 15:42:43 +0200 |
wenzelm |
support for OCaml via command-line tools;
|
file |
diff |
annotate
|