NEWS
changeset 69343 395c4fb15ea2
parent 69316 248696d0a05f
child 69377 81ae5893c556
     1.1 --- a/NEWS	Sat Nov 24 16:41:18 2018 +0100
     1.2 +++ b/NEWS	Sat Nov 24 18:56:44 2018 +0100
     1.3 @@ -9,6 +9,18 @@
     1.4  
     1.5  *** General ***
     1.6  
     1.7 +* The font family "Isabelle DejaVu" is systematically derived from the
     1.8 +existing "DejaVu" collection, with variants "Sans Mono", "Sans", "Serif"
     1.9 +and styles "Normal", "Bold", "Italic/Oblique", "Bold-Italic/Oblique".
    1.10 +The DejaVu base fonts are retricted to well-defined Unicode ranges and
    1.11 +augmented by special Isabelle symbols, taken from the former
    1.12 +"IsabelleText" font (which is no longer provided separately). The line
    1.13 +metrics and overall rendering quality is closer to original DejaVu.
    1.14 +INCOMPATIBILITY with display configuration expecting the old
    1.15 +"IsabelleText" font: use e.g. "Isabelle DejaVu Sans Mono" instead.
    1.16 +
    1.17 +* The Isabelle fonts render "\<inverse>" properly as superscript "-1".
    1.18 +
    1.19  * Old-style inner comments (* ... *) within the term language are no
    1.20  longer supported (legacy feature in Isabelle2018).
    1.21  
    1.22 @@ -22,6 +34,14 @@
    1.23  
    1.24  *** Isabelle/jEdit Prover IDE ***
    1.25  
    1.26 +* Fonts for the text area, gutter, GUI elements etc. use the "Isabelle
    1.27 +DejaVu" collection by default, which provides uniform rendering quality
    1.28 +with the usual Isabelle symbols. For Java/Swing GUI elements this
    1.29 +requires the Metal look-and-feel: it is the default on Linux, but not
    1.30 +macOS nor Windows. Line spacing no longer needs to be adjusted:
    1.31 +properties for the old IsabelleText font had "Global Options / Text Area
    1.32 +/ Extra vertical line spacing (in pixels): -2", now it defaults to 0.
    1.33 +
    1.34  * Improved sub-pixel font rendering (especially on Linux), thanks to
    1.35  OpenJDK 11.
    1.36