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