1.1 --- a/doc-src/preface.tex	Tue Feb 10 12:02:11 2004 +0100
     1.2 +++ b/doc-src/preface.tex	Tue Feb 10 12:17:04 2004 +0100
     1.3 @@ -104,16 +104,10 @@
     1.4  graphical user interface, and developments in the standard object-logics.
     1.5  I hope but cannot promise to maintain upwards compatibility.
     1.6  
     1.7 -Isabelle is available by anonymous ftp:
     1.8 -\begin{itemize}
     1.9 -\item University of Cambridge\\
    1.10 -        host {\tt ftp.cl.cam.ac.uk}\\
    1.11 -        directory {\tt ml}
    1.12 -
    1.13 -\item Technical University of Munich\\
    1.14 -        host {\tt ftp.informatik.tu-muenchen.de}\\
    1.15 -        directory {\tt local/lehrstuhl/nipkow}
    1.16 -\end{itemize}
    1.17 +Isabelle can be downloaded from .
    1.18 +\begin{quote}
    1.19 +{\tt http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/}  
    1.20 +\end{quote}
    1.21  The electronic distribution list {\tt isabelle-users\at cl.cam.ac.uk}
    1.22  provides a forum for discussing problems and applications involving
    1.23  Isabelle.  To join, send me a message via {\tt lcp\at cl.cam.ac.uk}.