diff -r 8732ff59068b -r c6db12ddb60c Slides/document/root.tex
--- a/Slides/document/root.tex	Wed May 26 15:37:56 2010 +0200
+++ b/Slides/document/root.tex	Thu May 27 18:37:52 2010 +0200
@@ -40,10 +40,10 @@
 
 % Isabelle configuration
 %%\urlstyle{rm}
-\isabellestyle{it}
-\renewcommand{\isastyle}{\it}%
-\renewcommand{\isastyleminor}{\it}%
-\renewcommand{\isastylescript}{\footnotesize\it\slshape}%
+\isabellestyle{rm}
+\renewcommand{\isastyle}{\rm}%
+\renewcommand{\isastyleminor}{\rm}%
+\renewcommand{\isastylescript}{\footnotesize\rm\slshape}%
 \renewcommand{\isatagproof}{}
 \renewcommand{\endisatagproof}{}
 \renewcommand{\isamarkupcmt}[1]{#1}