| changeset 13323 | 2c287f50c9f3 |
| parent 13295 | ca2e9b273472 |
| child 13427 | b429fd98549c |
--- a/src/ZF/Constructible/document/root.tex Tue Jul 09 13:41:38 2002 +0200 +++ b/src/ZF/Constructible/document/root.tex Tue Jul 09 15:39:44 2002 +0200 @@ -16,9 +16,8 @@ % this should be the last package used \usepackage{pdfsetup} -% proper setup for best-style documents \urlstyle{rm} -\isabellestyle{it} +\isabellestyle{tt} %and not {it}! \begin{document}