7 New in this Isabelle version |
7 New in this Isabelle version |
8 ---------------------------- |
8 ---------------------------- |
9 |
9 |
10 *** General *** |
10 *** General *** |
11 |
11 |
|
12 * The font family "Isabelle DejaVu" is systematically derived from the |
|
13 existing "DejaVu" collection, with variants "Sans Mono", "Sans", "Serif" |
|
14 and styles "Normal", "Bold", "Italic/Oblique", "Bold-Italic/Oblique". |
|
15 The DejaVu base fonts are retricted to well-defined Unicode ranges and |
|
16 augmented by special Isabelle symbols, taken from the former |
|
17 "IsabelleText" font (which is no longer provided separately). The line |
|
18 metrics and overall rendering quality is closer to original DejaVu. |
|
19 INCOMPATIBILITY with display configuration expecting the old |
|
20 "IsabelleText" font: use e.g. "Isabelle DejaVu Sans Mono" instead. |
|
21 |
|
22 * The Isabelle fonts render "\<inverse>" properly as superscript "-1". |
|
23 |
12 * Old-style inner comments (* ... *) within the term language are no |
24 * Old-style inner comments (* ... *) within the term language are no |
13 longer supported (legacy feature in Isabelle2018). |
25 longer supported (legacy feature in Isabelle2018). |
14 |
26 |
15 * Infix operators that begin or end with a "*" can now be paranthesized |
27 * Infix operators that begin or end with a "*" can now be paranthesized |
16 without additional spaces, eg "(*)" instead of "( * )". |
28 without additional spaces, eg "(*)" instead of "( * )". |
19 need to provide a closed expression -- without trailing semicolon. Minor |
31 need to provide a closed expression -- without trailing semicolon. Minor |
20 INCOMPATIBILITY. |
32 INCOMPATIBILITY. |
21 |
33 |
22 |
34 |
23 *** Isabelle/jEdit Prover IDE *** |
35 *** Isabelle/jEdit Prover IDE *** |
|
36 |
|
37 * Fonts for the text area, gutter, GUI elements etc. use the "Isabelle |
|
38 DejaVu" collection by default, which provides uniform rendering quality |
|
39 with the usual Isabelle symbols. For Java/Swing GUI elements this |
|
40 requires the Metal look-and-feel: it is the default on Linux, but not |
|
41 macOS nor Windows. Line spacing no longer needs to be adjusted: |
|
42 properties for the old IsabelleText font had "Global Options / Text Area |
|
43 / Extra vertical line spacing (in pixels): -2", now it defaults to 0. |
24 |
44 |
25 * Improved sub-pixel font rendering (especially on Linux), thanks to |
45 * Improved sub-pixel font rendering (especially on Linux), thanks to |
26 OpenJDK 11. |
46 OpenJDK 11. |
27 |
47 |
28 * Support for user-defined file-formats via class isabelle.File_Format |
48 * Support for user-defined file-formats via class isabelle.File_Format |