NEWS
changeset 69166 0297b911dcbe
parent 69164 74f1b0f10b2b
     1.1 --- a/NEWS	Sun Oct 21 16:11:24 2018 +0200
     1.2 +++ b/NEWS	Sun Oct 21 16:46:26 2018 +0200
     1.3 @@ -101,7 +101,8 @@
     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
     1.9 +ISABELLE_STACK_RESOLVER.
    1.10  
    1.11  
    1.12