changeset 73595 | aece5cc9efb7 |
parent 58884 | be4d203d35b3 |
--- a/src/HOL/Hoare_Parallel/document/root.tex Tue Apr 20 22:53:24 2021 +0200 +++ b/src/HOL/Hoare_Parallel/document/root.tex Thu Apr 22 10:11:11 2021 +0200 @@ -1,6 +1,6 @@ \documentclass[11pt,a4paper]{report} +\usepackage[T1]{fontenc} \usepackage{graphicx} -\usepackage[english]{babel} \usepackage{isabelle,isabellesym} \usepackage{pdfsetup}