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.
more correct NEWS
authorhaftmann
Wed, 11 Sep 2013 18:52:30 +0200
changeset 53547 e12f16366957
parent 53546 a2d2fa096e31
child 53548 785b57a1ffe2
child 53571 e58ca0311c0f
more correct NEWS
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Wed Sep 11 18:38:23 2013 +0200
+++ b/NEWS	Wed Sep 11 18:52:30 2013 +0200
@@ -212,7 +212,7 @@
   - The whole reflection stack has been decomposed into conversions.
 INCOMPATIBILITY.
 
-* Weaker precendence of syntax for big intersection and union on sets,
+* Stronger precedence of syntax for big intersection and union on sets,
 in accordance with corresponding lattice operations.  INCOMPATIBILITY.
 
 * Nested case expressions are now translated in a separate check phase
isabelle