--- a/doc-src/IsarRef/isar-ref.tex Tue Oct 12 18:59:45 1999 +0200
+++ b/doc-src/IsarRef/isar-ref.tex Tue Oct 12 19:04:25 1999 +0200
@@ -1,8 +1,8 @@
%% $Id$
-\documentclass[12pt,fleqn]{report}
-\usepackage{graphicx,a4,../iman,../extra,../proof,../rail,../railsetup,../isar,../pdfsetup}
+\documentclass[12pt,a4paper,fleqn]{report}
+\usepackage{graphicx,../iman,../extra,../proof,../rail,../railsetup,../isar,../pdfsetup}
\title{\includegraphics[scale=0.5]{isabelle_isar} \\[4ex] The Isabelle/Isar Reference Manual}
\author{\emph{Markus Wenzel} \\ TU M\"unchen}