| changeset 70010 | 499896e3a7b0 |
| parent 65041 | 2525e680f94f |
| child 73401 | 8b464825d2b5 |
--- a/src/Doc/Codegen/document/root.tex Thu Mar 28 21:24:55 2019 +0100 +++ b/src/Doc/Codegen/document/root.tex Fri Mar 29 12:24:34 2019 +0100 @@ -1,5 +1,6 @@ \documentclass[12pt,a4paper,fleqn]{article} +\usepackage[T1]{fontenc} \usepackage{latexsym,graphicx} \usepackage{tikz}\usetikzlibrary{shapes}\usetikzlibrary{arrows} \usepackage{multirow}