Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned grammar
authorhaftmann
Thu, 25 Oct 2018 14:04:37 +0200
changeset 69183 431414500576
parent 69182 2424301cc73d
child 69184 91fd09f2b86e
child 69185 6f79d6a5acad
tuned grammar
NEWS file | annotate | diff | comparison | revisions 
--- 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.
isabelle