# HG changeset patch
# User wenzelm
# Date 1553858674 -3600
# Node ID 499896e3a7b0aa788193b094aaba714f58bb06d3
# Parent  435fb018e8eeca6c0f1519422fb97568a1e61623
clarified style: allow to search PDF for keywords containing "_";

diff -r 435fb018e8ee -r 499896e3a7b0 src/Doc/Codegen/document/root.tex
--- 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}
diff -r 435fb018e8ee -r 499896e3a7b0 src/Doc/Codegen/document/style.sty
--- 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}