# HG changeset patch
# User haftmann
# Date 1751004566 -7200
# Node ID 61c39a9e5415fc878d699ef66967bb919efa7574
# Parent  2865a6618cba80d6f6f125be401287c029f672d3
typo

diff -r 2865a6618cba -r 61c39a9e5415 NEWS
--- 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.