diff -r 1db0bdda1d32 -r 69ab0e74ccda Admin/MIRRORS
--- a/Admin/MIRRORS	Fri Mar 08 11:41:10 2002 +0100
+++ b/Admin/MIRRORS	Fri Mar 08 11:43:01 2002 +0100
@@ -9,6 +9,6 @@
 http://ftp.research.bell-labs.com/dist/smlnj/isabelle/source.html
 Dave MacQueen <dbm@research.bell-labs.com>
 
-* Stanford (USA)
+* Stanford (USA) (??)
 ftp://rodin.stanford.edu/pub/smlnj/isabelle/source.html
-Lal George (?)
+Lal George (??)