--- a/NEWS Tue Apr 02 14:12:21 2019 +0200
+++ b/NEWS Tue Apr 02 14:46:01 2019 +0200
@@ -9,8 +9,8 @@
*** General ***
-* The font family "Isabelle DejaVu" is systematically derived from the
-existing "DejaVu" collection, with variants "Sans Mono", "Sans", "Serif"
+* The font collection "Isabelle DejaVu" is systematically derived from
+the existing "DejaVu" fonts, with variants "Sans Mono", "Sans", "Serif"
and styles "Normal", "Bold", "Italic/Oblique", "Bold-Italic/Oblique".
The DejaVu base fonts are retricted to well-defined Unicode ranges and
augmented by special Isabelle symbols, taken from the former
@@ -210,6 +210,8 @@
* Session HOL-Number_Theory: More material on residue rings in
Carmichael's function, primitive roots, more properties for "ord".
+* Session HOL-Analysis: More material and better organization.
+
* Session HOL-SPARK: .prv files are no longer written to the
file-system, but exported to the session database. Results may be
retrieved via "isabelle build -e HOL-SPARK-Examples" on the