Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Tue, 14 Apr 2009 23:58:46 +0200
changeset 30894 49c14e3cdc4b
parent 30893 b310beb36645
child 30895 bad26d8f0adf
tuned;
ANNOUNCE file | annotate | diff | comparison | revisions 
--- 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.
isabelle