equal
deleted
inserted
replaced
12 * Old-style inner comments (* ... *) within the term language are no |
12 * Old-style inner comments (* ... *) within the term language are no |
13 longer supported (legacy feature in Isabelle2018). |
13 longer supported (legacy feature in Isabelle2018). |
14 |
14 |
15 * Infix operators that begin or end with a "*" can now be paranthesized |
15 * Infix operators that begin or end with a "*" can now be paranthesized |
16 without additional spaces, eg "(*)" instead of "( * )". |
16 without additional spaces, eg "(*)" instead of "( * )". |
|
17 |
|
18 |
|
19 *** Isabelle/jEdit Prover IDE *** |
|
20 |
|
21 * Improved sub-pixel font rendering (especially on Linux), thanks to |
|
22 OpenJDK 11. |
17 |
23 |
18 |
24 |
19 *** Isar *** |
25 *** Isar *** |
20 |
26 |
21 * More robust treatment of structural errors: begin/end blocks take |
27 * More robust treatment of structural errors: begin/end blocks take |
99 ISABELLE_OCAML_VERSION. |
105 ISABELLE_OCAML_VERSION. |
100 |
106 |
101 * Support for Glasgow Haskell Compiler via command-line tools "isabelle |
107 * Support for Glasgow Haskell Compiler via command-line tools "isabelle |
102 ghc_setup", "isabelle ghci", "isabelle ghc", "isabelle ghc_stack". |
108 ghc_setup", "isabelle ghci", "isabelle ghc", "isabelle ghc_stack". |
103 Existing settings variable ISABELLE_GHC is maintained dynamically |
109 Existing settings variable ISABELLE_GHC is maintained dynamically |
104 according to the state of ISABELLE_STACK_ROOT and ISABELLE_STACK_RESOLVER. |
110 according to the state of ISABELLE_STACK_ROOT and |
|
111 ISABELLE_STACK_RESOLVER. |
|
112 |
|
113 * Update to Java 11: the latest long-term support version of OpenJDK. |
105 |
114 |
106 |
115 |
107 |
116 |
108 New in Isabelle2018 (August 2018) |
117 New in Isabelle2018 (August 2018) |
109 --------------------------------- |
118 --------------------------------- |