tuned grammar
authorhaftmann
Thu Oct 25 14:04:37 2018 +0200 (12 months ago ago)
changeset 69184431414500576
parent 69183 2424301cc73d
child 69185 91fd09f2b86e
child 69186 6f79d6a5acad
tuned grammar
NEWS
     1.1 --- a/NEWS	Thu Oct 25 09:48:02 2018 +0000
     1.2 +++ b/NEWS	Thu Oct 25 14:04:37 2018 +0200
     1.3 @@ -101,7 +101,7 @@
     1.4  * Support for Glasgow Haskell Compiler via command-line tools "isabelle
     1.5  ghc_setup", "isabelle ghci", "isabelle ghc", "isabelle ghc_stack".
     1.6  Existing settings variable ISABELLE_GHC is maintained dynamically
     1.7 -according the state of ISABELLE_STACK_ROOT and ISABELLE_STACK_RESOLVER.
     1.8 +according to the state of ISABELLE_STACK_ROOT and ISABELLE_STACK_RESOLVER.
     1.9  
    1.10  
    1.11