changeset 10021 | 6d5d618b302c |
parent 9788 | df671fa2562a |
child 10308 | c50fc8023ac0 |
--- a/lib/Tools/mkdir Mon Sep 18 15:34:07 2000 +0200 +++ b/lib/Tools/mkdir Mon Sep 18 17:56:44 2000 +0200 @@ -193,8 +193,9 @@ \documentclass[11pt,a4paper]{article} \usepackage{isabelle,isabellesym,pdfsetup} -%\urlstyle{rm} -%\isabellestyle{it} +%for best-style documents ... +\urlstyle{rm} +\isabellestyle{it} \begin{document} \input{session}