--- a/NEWS Wed Oct 17 21:00:53 2018 +0200
+++ b/NEWS Wed Oct 17 22:00:02 2018 +0200
@@ -95,6 +95,11 @@
dynamically according the state of ISABELLE_OPAM_ROOT concerning
ISABELLE_OCAML_VERSION.
+* 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.
+
New in Isabelle2018 (August 2018)