# HG changeset patch
# User haftmann
# Date 1753631526 -7200
# Node ID e4fae222759420189d1364492d6d756fb723e990
# Parent  f7778350d1ac42dcd0da7a3b76571d066a81f36b
added missing colon

diff -r f7778350d1ac -r e4fae2227594 NEWS
--- a/NEWS	Sun Jul 27 16:46:34 2025 +0200
+++ b/NEWS	Sun Jul 27 17:52:06 2025 +0200
@@ -156,7 +156,7 @@
 subset_refl, subset_trans, vimageD, vimageE, vimageI, vimageI2, vimage_Collect,
 vimage_Int, vimage_Un. INCOMPATIBILITY, use thm(s) antiquotation instead.
 
-* Clarified semantics for adding code equations
+* Clarified semantics for adding code equations:
   * Code equations from preceding theories are superseded.
   * Code equations declared in the course of a theory are appended, not
     prepended.