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.
typo
authorhaftmann
Tue, 28 Jan 2025 07:17:30 +0100
changeset 81998 7d608575b205
parent 81997 d09524fdd40c
child 81999 513f8fa74c82
child 82000 67cfa8e9435e
typo
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Mon Jan 27 22:27:18 2025 +0100
+++ b/NEWS	Tue Jan 28 07:17:30 2025 +0100
@@ -137,7 +137,7 @@
     (or replaced by Main).
 
   - Equivalence of overloaded constants has become more liberal: sorts
-    of type variables are ignore, schematic type variables only need to
+    of type variables are ignored, schematic type variables only need to
     match (in both directions) instead of being literally equal.
 
   - Command syntax now requires a separator: "adhoc_overloading c \<rightleftharpoons> vs".
isabelle