Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
drop Stanford mirror;
authorwenzelm
Fri, 08 Mar 2002 11:41:10 +0100
changeset 13045 1db0bdda1d32
parent 13044 c049910774cb
child 13046 69ab0e74ccda
drop Stanford mirror;
ANNOUNCE file | annotate | diff | comparison | revisions 
--- a/ANNOUNCE	Fri Mar 08 10:57:53 2002 +0100
+++ b/ANNOUNCE	Fri Mar 08 11:41:10 2002 +0100
@@ -71,4 +71,3 @@
   Cambridge (UK)    http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/
   Munich (Germany)  http://isabelle.in.tum.de/dist/
   New Jersey (USA)  ftp://ftp.research.bell-labs.com/dist/smlnj/isabelle/index.html
-  Stanford (USA)    ftp://rodin.stanford.edu/pub/smlnj/isabelle/index.html
isabelle