equal
deleted
inserted
replaced
99 ISABELLE_OCAML_VERSION. |
99 ISABELLE_OCAML_VERSION. |
100 |
100 |
101 * Support for Glasgow Haskell Compiler via command-line tools "isabelle |
101 * Support for Glasgow Haskell Compiler via command-line tools "isabelle |
102 ghc_setup", "isabelle ghci", "isabelle ghc", "isabelle ghc_stack". |
102 ghc_setup", "isabelle ghci", "isabelle ghc", "isabelle ghc_stack". |
103 Existing settings variable ISABELLE_GHC is maintained dynamically |
103 Existing settings variable ISABELLE_GHC is maintained dynamically |
104 according the state of ISABELLE_STACK_ROOT and ISABELLE_STACK_RESOLVER. |
104 according to the state of ISABELLE_STACK_ROOT and ISABELLE_STACK_RESOLVER. |
105 |
105 |
106 |
106 |
107 |
107 |
108 New in Isabelle2018 (August 2018) |
108 New in Isabelle2018 (August 2018) |
109 --------------------------------- |
109 --------------------------------- |