diff -r c8b5dcacf2e3 -r d6fc3c4423f7 doc-src/IsarRef/isar-ref.tex --- a/doc-src/IsarRef/isar-ref.tex Tue Sep 07 18:09:04 1999 +0200 +++ b/doc-src/IsarRef/isar-ref.tex Tue Sep 07 18:09:18 1999 +0200 @@ -2,7 +2,7 @@ %% $Id$ \documentclass[12pt,fleqn]{report} -\usepackage{graphicx,a4,../iman,../extra,../proof,../rail,../railsetup,../isar,../pdfsetup} +\usepackage{graphicx,a4,../url,../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}