# HG changeset patch
# User wenzelm
# Date 1015584070 -3600
# Node ID 1db0bdda1d3260aee5f6efcc799d4d62dfa33db4
# Parent  c049910774cbcc659a2116eb0a7d6868a0c8ae12
drop Stanford mirror;

diff -r c049910774cb -r 1db0bdda1d32 ANNOUNCE
--- 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