# HG changeset patch
# User wenzelm
# Date 1584192232 -3600
# Node ID 76ec3baeec9dd176d139ea1c86464f72fc3e7905
# Parent  f2b944898636919400495d86341d32c2ba98d768
tuned;

diff -r f2b944898636 -r 76ec3baeec9d NEWS
--- a/NEWS	Sat Mar 14 13:49:52 2020 +0100
+++ b/NEWS	Sat Mar 14 14:23:52 2020 +0100
@@ -42,7 +42,7 @@
 * Mixfix annotations may use "' " (single quote followed by space) to
 separate delimiters (as documented in the isar-ref manual), without
 requiring an auxiliary empty block. A literal single quote needs to be
-escaped properly: rare INCOMPATIBILITY.
+escaped properly. Minor INCOMPATIBILITY.
 
 
 *** Isar ***