--- a/doc-src/Logics/preface.tex Mon May 10 15:35:03 1999 +0200
+++ b/doc-src/Logics/preface.tex Mon May 10 16:35:22 1999 +0200
@@ -54,10 +54,14 @@
Cube} are undocumented. All object-logics' sources are distributed with
Isabelle (see the directory \texttt{src}). They are also available for
browsing on the WWW at
-\begin{ttbox}
-http://www.cl.cam.ac.uk/Research/HVG/Isabelle/library/
-http://isabelle.in.tum.de/library/
-\end{ttbox}
+
+\begin{center}\small
+ \begin{tabular}{l}
+ \url{http://www.cl.cam.ac.uk/Research/HVG/Isabelle/library/} \\
+ \url{http://isabelle.in.tum.de/library/} \\
+ \end{tabular}
+\end{center}
+
Note that this is not necessarily consistent with your local sources!
\medskip Do not read the \emph{Isabelle's Logics} manuals before reading