On 22/01/2019 22:02, Florian Haftmann wrote: > > Then I have no clue how to include the installed zarith properly. > https://opam.ocaml.org/doc/FAQ.html mentions subcommands »exec« and > »env« for opam, which the installed version available through »isabelle > ocaml_opam« does not provide.
That documentation is for Opam 2.0, but we are still on 1.2.2 because that is the latest version I've found for Windows (based on MinGW); the same 1.2.2 is part of Cygwin. I can update Isabelle/Opam when there is a proper Windows version for 2.0 -- maybe it has already arrived in the meantime, somewhere in some dark corner. Apart from that, I've recently seen Coq experts worry about the status-quo of Opam: it is not as well-developed as Stack for Haskell, and Coq already critically depends on it. Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev