| Fri, 22 Mar 2019 11:23:17 +0100 | wenzelm | more robust -- analogous to ocamlfind; | file | diff | annotate |
| Wed, 20 Mar 2019 21:54:08 +0100 | wenzelm | more robust: allow empty root (e.g. via symlink); | file | diff | annotate |
| Thu, 08 Nov 2018 16:18:12 +0100 | wenzelm | clarified tool setup for GHC / OCaml: discontinued "isabelle ghc", "isabelle ocaml", "isabelle ocamlc" to avoid confusion with traditional settings variables for executables (these are still required in existing applications, notably in session options [condition = ISABELLE_GHC] etc. and codegen setup; | file | diff | annotate | base |