doc-src/IsarRef/isar-ref.tex
changeset 7836 7a9270282fd3
parent 7532 a77d5feec304
child 7895 7c492d8bc8e3
     1.1 --- a/doc-src/IsarRef/isar-ref.tex	Tue Oct 12 18:59:45 1999 +0200
     1.2 +++ b/doc-src/IsarRef/isar-ref.tex	Tue Oct 12 19:04:25 1999 +0200
     1.3 @@ -1,8 +1,8 @@
     1.4  
     1.5  %% $Id$
     1.6  
     1.7 -\documentclass[12pt,fleqn]{report}
     1.8 -\usepackage{graphicx,a4,../iman,../extra,../proof,../rail,../railsetup,../isar,../pdfsetup}
     1.9 +\documentclass[12pt,a4paper,fleqn]{report}
    1.10 +\usepackage{graphicx,../iman,../extra,../proof,../rail,../railsetup,../isar,../pdfsetup}
    1.11  
    1.12  \title{\includegraphics[scale=0.5]{isabelle_isar} \\[4ex] The Isabelle/Isar Reference Manual}
    1.13  \author{\emph{Markus Wenzel} \\ TU M\"unchen}