NEWS

--- a/NEWS	Tue Aug 10 19:10:39 2004 +0200
+++ b/NEWS	Thu Aug 12 10:01:09 2004 +0200
@@ -126,6 +126,12 @@
   both Output.output and Output.raw have no effect.
 
 
+*** Isar ***
+
+* Locales:
+  - "includes" disallowed in declaration of named locales (command "locale").
+
+ 
 *** HOL ***
 
 * HOL/record: reimplementation of records. Improved scalability for