# HG changeset patch
# User wenzelm
# Date 1695333911 -7200
# Node ID 46891e209d72a6094d176d75b71213eb75fcf10f
# Parent  38fe769658be7308f90d2bd63c76702b17407746
proper fontenc for cartouches (amending d052d61da398);

diff -r 38fe769658be -r 46891e209d72 src/Doc/Classes/document/root.tex
--- 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}