author | wenzelm |
Fri, 22 Sep 2023 00:05:11 +0200 | |
changeset 78682 | 46891e209d72 |
parent 78681 | 38fe769658be |
child 78683 | cde40295ffd6 |
--- a/src/Doc/Classes/document/root.tex Thu Sep 21 23:45:03 2023 +0200 +++ b/src/Doc/Classes/document/root.tex Fri Sep 22 00:05:11 2023 +0200 @@ -1,4 +1,5 @@ \documentclass[12pt,a4paper,fleqn]{article} +\usepackage[T1]{fontenc} \usepackage{graphicx} \usepackage{iman,extra,isar} \usepackage{isabelle,isabellesym}