changeset 70032 0674c24afc5e
parent 70031 2dfba895e26d
child 70057 0403b5127da1
--- 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