doc-src/System/present.tex

 The entry point to all logics is the {\tt index.html} file located in
 the directory denoted by \texttt{ISABELLE_BROWSER_INFO}.
 
 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
 \texttt{ISABELLE_BROWSER_INFO} directory to your WWW server.
 

 The browser's main window, which is shown in figure
 \ref{browserwindow}, consists of two subwindows: In the left
 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}
 
 
 \subsubsection*{The directory tree window}