# HG changeset patch
# User wenzelm
# Date 969292604 -7200
# Node ID 6d5d618b302cc0a156dee23efd8fd301480d07d7
# Parent  46e77dff3970c96be15970d4f5ee80adc0bdf4c1
best-style made default;

diff -r 46e77dff3970 -r 6d5d618b302c lib/Tools/mkdir
--- 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}