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