author | wenzelm |
Thu, 11 Mar 2021 11:22:25 +0100 | |
changeset 73409 | fbd69f277699 |
parent 73408 | be11fe268b33 |
child 73410 | 7b59d2945e54 |
child 73412 | 83569d243671 |
--- 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").