# HG changeset patch
# User nipkow
# Date 1407305915 -7200
# Node ID 2e9d655054548c5cb26c4400a7292f5c680033b9
# Parent  018dc778cbcc310bbd4a3cf3739b6fa765ad5a81
replaced misleading - by _

diff -r 018dc778cbcc -r 2e9d65505454 src/Doc/Main/document/root.tex
--- a/src/Doc/Main/document/root.tex	Tue Aug 05 20:25:12 2014 +0200
+++ b/src/Doc/Main/document/root.tex	Wed Aug 06 08:18:35 2014 +0200
@@ -24,6 +24,8 @@
 
 \parindent 0pt\parskip 0.5ex
 
+\renewcommand{\isacharunderscore}{\_}
+
 \usepackage{supertabular}
 
 \begin{document}