NEWS

--- a/NEWS	Fri Oct 09 09:14:25 2009 +0200
+++ b/NEWS	Fri Oct 09 10:00:47 2009 +0200
@@ -27,7 +27,9 @@
 *** document preparation ***
 
 * New generalized style concept for printing terms:
-write @{foo (style) ...} instead of @{foo_style style ...}.
+write @{foo (style) ...} instead of @{foo_style style ...}
+(old form is still retained for backward compatibility).
+Styles can be also applied for antiquotations prop, term_type and typeof.
 
 
 *** HOL ***