NEWS

--- a/NEWS	Fri Aug 31 22:45:08 2001 +0200
+++ b/NEWS	Fri Aug 31 22:46:23 2001 +0200
@@ -44,6 +44,9 @@
 * print modes "type_brackets" and "no_type_brackets" control output of
 nested => (types); the default behaviour is "brackets";
 
+* Proof General keywords specification is now part of the Isabelle
+distribution (see etc/isar-keywords.el);
+
 
 
 New in Isabelle99-2 (February 2001)