Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
doc-src/preface.tex
changeset 14379 ea10a8c3e9cf
parent 5374 6ef3742b6153 
--- a/doc-src/preface.tex	Tue Feb 10 12:02:11 2004 +0100
+++ b/doc-src/preface.tex	Tue Feb 10 12:17:04 2004 +0100
@@ -104,16 +104,10 @@
 graphical user interface, and developments in the standard object-logics.
 I hope but cannot promise to maintain upwards compatibility.
 
-Isabelle is available by anonymous ftp:
-\begin{itemize}
-\item University of Cambridge\\
-        host {\tt ftp.cl.cam.ac.uk}\\
-        directory {\tt ml}
-
-\item Technical University of Munich\\
-        host {\tt ftp.informatik.tu-muenchen.de}\\
-        directory {\tt local/lehrstuhl/nipkow}
-\end{itemize}
+Isabelle can be downloaded from .
+\begin{quote}
+{\tt http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/}  
+\end{quote}
 The electronic distribution list {\tt isabelle-users\at cl.cam.ac.uk}
 provides a forum for discussing problems and applications involving
 Isabelle.  To join, send me a message via {\tt lcp\at cl.cam.ac.uk}.
isabelle