diff -r 6573e6d64ec8 -r 1c54ebc68394 src/Doc/Functions/document/root.tex
--- a/src/Doc/Functions/document/root.tex	Fri Nov 14 11:19:14 2014 +0100
+++ b/src/Doc/Functions/document/root.tex	Fri Nov 14 17:07:06 2014 +0100
@@ -51,7 +51,6 @@
 \author{Alexander Krauss}
 
 \isabellestyle{tt}
-\renewcommand{\isastyletxt}{\isastyletext}% use same formatting for txt and text
 
 \begin{document}