--- 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}
--- a/src/Doc/Codegen/document/style.sty Thu Mar 28 21:24:55 2019 +0100
+++ b/src/Doc/Codegen/document/style.sty Fri Mar 29 12:24:34 2019 +0100
@@ -49,7 +49,6 @@
%% format
\pagestyle{headings}
-\isabellestyle{it}
%% ml reference
\newenvironment{mldecls}{\par\noindent\begingroup\footnotesize\def\isanewline{\\}\begin{tabular}{l}}{\end{tabular}\smallskip\endgroup}
@@ -58,7 +57,7 @@
\renewcommand{\isatagmlref}{\subsection*{\makebox[0pt][r]{\fbox{\ML}~~}Reference}\begingroup\def\isastyletext{\rm}\small}
\renewcommand{\endisatagmlref}{\endgroup}
-\isabellestyle{it}
+\isabellestyle{literalunderscore}
\def\isastylett{\footnotesize\normalfont\ttfamily}