--- a/doc-src/IsarRef/isar-ref.tex Thu May 08 22:17:37 2008 +0200
+++ b/doc-src/IsarRef/isar-ref.tex Thu May 08 22:20:33 2008 +0200
@@ -4,6 +4,7 @@
\documentclass[12pt,a4paper,fleqn]{report}
\usepackage{latexsym,graphicx}
\usepackage{../iman,../extra,../isar,../proof}
+\usepackage[nohyphen,strings]{underscore}
\usepackage{Thy/document/isabelle,Thy/document/isabellesym}
\usepackage{../ttbox,,../rail,../railsetup}
\usepackage{style}
@@ -71,8 +72,6 @@
\begin{document}
-\underscoreoff
-
\maketitle
\pagenumbering{roman} \tableofcontents \clearfirst