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 default tip
authorhaftmann
Fri, 27 Jun 2025 08:09:26 +0200
changeset 82775 61c39a9e5415
parent 82774 2865a6618cba
typo
NEWS file | annotate | diff | comparison | revisions 
--- a/NEWS	Thu Jun 26 17:25:29 2025 +0200
+++ b/NEWS	Fri Jun 27 08:09:26 2025 +0200
@@ -137,7 +137,7 @@
 vimage_Int, vimage_Un. INCOMPATIBILITY, use thm(s) antiquotation instead.
 
 * Clarified semantics for adding code equations
-  * Code equations from preceeding theories are superseded.
+  * Code equations from preceding theories are superseded.
   * Code equations declared in the course of a theory are appended, not
     prepended.
 INCOMPATIBILITY.
isabelle