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 |