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 |