# HG changeset patch
# User haftmann
# Date 1540469077 -7200
# Node ID 4314145005769736a30b68a02c9c229678426d0c
# Parent  2424301cc73dc5cace55336b86f3a16f722c5b42
tuned grammar

diff -r 2424301cc73d -r 431414500576 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.