ANNOUNCE

--- a/ANNOUNCE	Tue Apr 14 18:18:15 2009 +0200
+++ b/ANNOUNCE	Tue Apr 14 23:58:46 2009 +0200
@@ -8,7 +8,7 @@
 are:
 
 * Complete re-implementation of locales, with proper support for local
-syntax, and more robust interpretation mechanism.
+syntax, and more general locale expressions.
 
 * New 'find_consts' and 'find_theorems' facilities, together with
 "auto solve" feature of toplevel goal statements.