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 ***