--- a/NEWS Sun Dec 05 14:02:16 2010 +0100
+++ b/NEWS Sun Dec 05 15:23:33 2010 +0100
@@ -649,6 +649,9 @@
*** System ***
+* The IsabelleText font now includes Cyrillic, Hebrew, Arabic from
+DajaVu Sans.
+
* Discontinued support for Poly/ML 5.0 and 5.1 versions.