Sat, 23 Mar 2019 17:00:44 +0100 | wenzelm | proper command-line; | changeset | files |
Sat, 23 Mar 2019 16:39:29 +0100 | wenzelm | avoid global .opam directory: shared home leads to confusion about explicit vs. implicit ISABELLE_OCAMLFIND; | changeset | files |
Sat, 23 Mar 2019 15:17:32 +0100 | wenzelm | more explicit opam dependencies; | changeset | files |