NEWS

--- a/NEWS	Thu Oct 25 09:48:02 2018 +0000
+++ b/NEWS	Thu Oct 25 14:04:37 2018 +0200
@@ -101,7 +101,7 @@
 * 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.
+according to the state of ISABELLE_STACK_ROOT and ISABELLE_STACK_RESOLVER.