# HG changeset patch
# User wenzelm
# Date 925392883 -7200
# Node ID b1288c5e599c7092856eb36a071f2281e2880fb5
# Parent  281d44905cabdf99851cd6698897250548e0b907
*** empty log message ***

diff -r 281d44905cab -r b1288c5e599c Admin/MIRRORS
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/MIRRORS	Thu Apr 29 15:34:43 1999 +0200
@@ -0,0 +1,14 @@
+
+* Cambridge (UK)
+http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/
+
+* Minho (Portugal)	-- CURRENTLY DISABLED
+http://ciumix.ci.uminho.pt/mirrors/isabelle/
+archive@ci.uminho.pt, sergio@ci.uminho.pt
+
+* Munich (Germany)
+http://isabelle.in.tum.de/dist/
+
+* New Jersey (USA)
+ftp://ftp.research.bell-labs.com/dist/smlnj/isabelle/index.html
+Dave MacQueen <dbm@research.bell-labs.com>