Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
NEWS
changeset 81998 7d608575b205
parent 81996 e6f5434ad95a
child 82024 bbda3b4f3c99
child 82026 57b4e44f5bc4 
--- 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