# HG changeset patch
# User wenzelm
# Date 966681772 -7200
# Node ID a3d868043c490bcee93fa984b3565bbc1a756870
# Parent  a4d2da014ec3ac47a4c058419b6b7aaa3ae48830
%\urlstyle{rm}
%\isabellestyle{it}

diff -r a4d2da014ec3 -r a3d868043c49 lib/Tools/mkdir
--- 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}