drop Stanford mirror;
authorwenzelm
Fri Mar 08 11:41:10 2002 +0100 (2002-03-08)
changeset 130451db0bdda1d32
parent 13044 c049910774cb
child 13046 69ab0e74ccda
drop Stanford mirror;
ANNOUNCE
     1.1 --- a/ANNOUNCE	Fri Mar 08 10:57:53 2002 +0100
     1.2 +++ b/ANNOUNCE	Fri Mar 08 11:41:10 2002 +0100
     1.3 @@ -71,4 +71,3 @@
     1.4    Cambridge (UK)    http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/
     1.5    Munich (Germany)  http://isabelle.in.tum.de/dist/
     1.6    New Jersey (USA)  ftp://ftp.research.bell-labs.com/dist/smlnj/isabelle/index.html
     1.7 -  Stanford (USA)    ftp://rodin.stanford.edu/pub/smlnj/isabelle/index.html