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 * ML setup commands (e.g. 'setup', 'method_setup', 'parse_translation') |
|
19 need to provide a closed expression -- without trailing semicolon. Minor |
|
20 INCOMPATIBILITY. |
17 |
21 |
18 |
22 |
19 *** Isabelle/jEdit Prover IDE *** |
23 *** Isabelle/jEdit Prover IDE *** |
20 |
24 |
21 * Improved sub-pixel font rendering (especially on Linux), thanks to |
25 * Improved sub-pixel font rendering (especially on Linux), thanks to |