| changeset 55365 | 9d5aba2baa4c |
| parent 52412 | 4cfa094da3cb |
| child 55366 | 50c9a0ab1436 |
--- a/src/Doc/IsarImplementation/document/root.tex Sun Feb 09 13:07:23 2014 +0100 +++ b/src/Doc/IsarImplementation/document/root.tex Sun Feb 09 16:17:01 2014 +0100 @@ -1,4 +1,6 @@ \documentclass[12pt,a4paper,fleqn]{report} +\usepackage[T1]{fontenc} +\usepackage{ae} \usepackage{latexsym,graphicx} \usepackage[refpage]{nomencl} \usepackage{iman,extra,isar,proof}