--- a/doc-src/System/system.tex Sat Jul 28 15:21:49 2012 +0200
+++ b/doc-src/System/system.tex Sat Jul 28 18:20:47 2012 +0200
@@ -13,7 +13,7 @@
\isadroptag{theory}
-\isabellestyle{it}
+\isabellestyle{literal}
\title{\includegraphics[scale=0.5]{isabelle} \\[4ex] The Isabelle System Manual}