| changeset 73404 | 299f6a8faccc |
| parent 73340 | 0ffcad1f6130 |
| child 73446 | d1c4c2395650 |
--- a/src/Pure/Tools/mkroot.scala Tue Mar 09 20:00:44 2021 +0100 +++ b/src/Pure/Tools/mkroot.scala Tue Mar 09 21:11:05 2021 +0100 @@ -71,6 +71,7 @@ File.write(root_tex, """\documentclass[11pt,a4paper]{article} +\""" + """usepackage[T1]{fontenc} \""" + """usepackage{isabelle,isabellesym} % further packages required for unusual symbols (see also