# HG changeset patch
# User wenzelm
# Date 1239746326 -7200
# Node ID 49c14e3cdc4b50d550540431b793853f66f38135
# Parent  b310beb36645148f5ab7dca7d57626da6a5dfdfa
tuned;

diff -r b310beb36645 -r 49c14e3cdc4b 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.