# HG changeset patch
# User wenzelm
# Date 999290783 -7200
# Node ID 2afde2de26d6964a81d083a7d28409b5ad7c8a50
# Parent  09dc5e8ac99c2c00a773b35a2e399f3cd208fbf0
* Proof General keywords specification is now part of the Isabelle
  distribution (see etc/isar-keywords.el);

diff -r 09dc5e8ac99c -r 2afde2de26d6 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)