NEWS
changeset 70032 0674c24afc5e
parent 70031 2dfba895e26d
child 70057 0403b5127da1
     1.1 --- a/NEWS	Tue Apr 02 14:12:21 2019 +0200
     1.2 +++ b/NEWS	Tue Apr 02 14:46:01 2019 +0200
     1.3 @@ -9,8 +9,8 @@
     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 +* The font collection "Isabelle DejaVu" is systematically derived from
    1.10 +the existing "DejaVu" fonts, with variants "Sans Mono", "Sans", "Serif"
    1.11  and styles "Normal", "Bold", "Italic/Oblique", "Bold-Italic/Oblique".
    1.12  The DejaVu base fonts are retricted to well-defined Unicode ranges and
    1.13  augmented by special Isabelle symbols, taken from the former
    1.14 @@ -210,6 +210,8 @@
    1.15  * Session HOL-Number_Theory: More material on residue rings in
    1.16  Carmichael's function, primitive roots, more properties for "ord".
    1.17  
    1.18 +* Session HOL-Analysis: More material and better organization.
    1.19 +
    1.20  * Session HOL-SPARK: .prv files are no longer written to the
    1.21  file-system, but exported to the session database. Results may be
    1.22  retrieved via "isabelle build -e HOL-SPARK-Examples" on the