--- a/doc-src/System/present.tex Mon May 10 15:35:03 1999 +0200
+++ b/doc-src/System/present.tex Mon May 10 16:35:22 1999 +0200
@@ -55,10 +55,14 @@
A complete HTML version of all distributed Isabelle object-logics and
examples may be accessed 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}
+
Of course, this is not necessarily consistent with your local version!
To present your own theories on the WWW, simply copy the whole
@@ -175,7 +179,7 @@
subwindow, the directory tree is displayed. The graph itself is
displayed in the right subwindow.
\begin{figure}[h]
- \includegraphics[width=\textwidth]{browser_screenshot.eps}
+ \includegraphics[width=\textwidth]{browser_screenshot}
\caption{\label{browserwindow} Browser main window}
\end{figure}