changeset 30894 | 49c14e3cdc4b |
parent 30890 | 0214d179c2be |
child 30897 | 44cba7df4003 |
--- 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.