doc-src/IsarRef/isar-ref.tex
changeset 7509 d6fc3c4423f7
parent 7466 7df66ce6508a
child 7532 a77d5feec304
     1.1 --- a/doc-src/IsarRef/isar-ref.tex	Tue Sep 07 18:09:04 1999 +0200
     1.2 +++ b/doc-src/IsarRef/isar-ref.tex	Tue Sep 07 18:09:18 1999 +0200
     1.3 @@ -2,7 +2,7 @@
     1.4  %% $Id$
     1.5  
     1.6  \documentclass[12pt,fleqn]{report}
     1.7 -\usepackage{graphicx,a4,../iman,../extra,../proof,../rail,../railsetup,../isar,../pdfsetup}
     1.8 +\usepackage{graphicx,a4,../url,../iman,../extra,../proof,../rail,../railsetup,../isar,../pdfsetup}
     1.9  
    1.10  \title{\includegraphics[scale=0.5]{isabelle_isar} \\[4ex] The Isabelle/Isar Reference Manual}
    1.11  \author{\emph{Markus Wenzel} \\ TU M\"unchen}