tuned;
authorwenzelm
Tue Apr 14 23:58:46 2009 +0200 (2009-04-14)
changeset 3089449c14e3cdc4b
parent 30893 b310beb36645
child 30895 bad26d8f0adf
tuned;
ANNOUNCE
     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.