[isabelle-dev] NEWS: support for OCaml / OPAM
hupel at in.tum.de
Mon Oct 8 17:09:24 CEST 2018
> * How to re-init the opam installation, e.g. after changing
> ISABELLE_OCAML_VERSION (maybe even in ISABELLE_HOME_USER/etc/settings)?
> (Presently I have just removed purged ISABELLE_OPAM_ROOT.)
I don't think purging the directory is necessary. It should work out of
the box. According to my experiments, opam will just install another
OCaml version side-by-side.
> * Is the update of ~/.ocamlinit that is proposed by opam init required?
More information about the isabelle-dev