# HG changeset patch
# User wenzelm
# Date 1615458145 -3600
# Node ID fbd69f27769990eab503bb51792b4a501f119f81
# Parent  be11fe268b33597a40a89ae8a5c00ee9b0e767ea
tuned;

diff -r be11fe268b33 -r fbd69f277699 NEWS
--- a/NEWS	Thu Mar 11 10:25:04 2021 +0100
+++ b/NEWS	Thu Mar 11 11:22:25 2021 +0100
@@ -19,8 +19,8 @@
 
 *** Document preparation ***
 
-* More accurate LaTeX typesetting of \<open>...\<close> using \guilsinglleft ...
-\guilsinglright. Minor INCOMPATIBILITY, use \usepackage[T1]{fontenc}
+* Improved LaTeX typesetting of \<open>...\<close> using \guilsinglleft ...
+\guilsinglright. INCOMPATIBILITY, need to use \usepackage[T1]{fontenc}
 (which is now also the default in "isabelle mkroot").