*** System *** * Support for Glasgow Haskell Compiler via command-line tools "isabelle ghc_setup", "isabelle ghci", "isabelle ghc", "isabelle ghc_stack". Existing settings variable ISABELLE_GHC is maintained dynamically according the state of ISABELLE_STACK_ROOT and ISABELLE_STACK_RESOLVER.
This refers to Isabelle/1722cc56d22e. The Haskell "stack" looks much more solid than OPAM. It works on Windows without further ado, using native x86_64-windows personality. Makarius _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev