%\urlstyle{rm}
%\isabellestyle{it}

--- a/lib/Tools/mkdir	Sat Aug 19 12:41:41 2000 +0200
+++ b/lib/Tools/mkdir	Sat Aug 19 12:42:52 2000 +0200
@@ -191,6 +191,9 @@
 \documentclass[11pt,a4paper]{article}
 \usepackage{isabelle,isabellesym,pdfsetup}
 
+%\urlstyle{rm}
+%\isabellestyle{it}
+
 \begin{document}
 \input{session}
 \end{document}