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.
NEWS: fix typo
authorhuffman
Tue, 02 Aug 2011 07:36:58 -0700
changeset 44018 d34f0cd62164
parent 44017 e828be67dfe7
child 44019 ee784502aed5
NEWS: fix typo
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Tue Aug 02 13:07:00 2011 +0200
+++ b/NEWS	Tue Aug 02 07:36:58 2011 -0700
@@ -155,7 +155,7 @@
 must be loaded explicitly.  INCOMPATIBILITY.
 
 * Well-founded recursion combinator "wfrec" has been moved to
-Library/Wfrec.thy. INCOMPATIBILY.
+Library/Wfrec.thy. INCOMPATIBILITY.
 
 
 *** Document preparation ***
isabelle