| changeset 59005 | 1c54ebc68394 |
| parent 52791 | 9e4bb60f8007 |
| child 73401 | 8b464825d2b5 |
--- 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}