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.
spelling;
authorwenzelm
Fri, 04 Jun 2010 11:30:46 +0200
changeset 37311 90323e435a7f
parent 37310 96e2b9a6f074
child 37312 664d3110beb2
spelling;
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Thu Jun 03 23:56:05 2010 +0200
+++ b/NEWS	Fri Jun 04 11:30:46 2010 +0200
@@ -92,7 +92,7 @@
 
 *** Pure ***
 
-* Predicates of locales introduces by classes carry a mandatory
+* Predicates of locales introduced by classes carry a mandatory
 "class" prefix.  INCOMPATIBILITY.
 
 * Command 'code_reflect' allows to incorporate generated ML code into
isabelle