NEWS
changeset 73595 aece5cc9efb7
parent 73586 76d0b6597c91
child 73616 b0ea03e837b1
--- a/NEWS	Tue Apr 20 22:53:24 2021 +0200
+++ b/NEWS	Thu Apr 22 10:11:11 2021 +0200
@@ -33,6 +33,10 @@
 \guilsinglright. INCOMPATIBILITY, need to use \usepackage[T1]{fontenc}
 (which is now also the default in "isabelle mkroot").
 
+* Simplified typesetting of \<guillemotleft>...\<guillemotright> using \guillemotleft ...
+\guillemotright from \usepackage[T1]{fontenc} --- \usepackage{babel} is
+no longer required.
+
 
 *** HOL ***