| 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 |