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, 15 Apr 2008 16:25:14 +0200
changeset 26659 aae01f2139af
parent 26658 5967c2a0a94f
child 26660 f978a6f48949
tuned;
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Tue Apr 15 16:12:18 2008 +0200
+++ b/NEWS	Tue Apr 15 16:25:14 2008 +0200
@@ -28,7 +28,7 @@
 
 * Name space merge now observes canonical order, i.e. the second space
 is inserted into the first one, while existing entries in the first
-space take precedence.  INCOMPATIBILITY is rare situations, may try to
+space take precedence.  INCOMPATIBILITY in rare situations, may try to
 swap theory imports.
isabelle