isabelle: Admin/MIRRORS@c6ce498b4767 (annotated)

6537 b1288c5e599c * empty log message * wenzelm parents: diff changeset	1
b1288c5e599c * empty log message * wenzelm parents: diff changeset	2	* Cambridge (UK)
b1288c5e599c * empty log message * wenzelm parents: diff changeset	3	http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/
b1288c5e599c * empty log message * wenzelm parents: diff changeset	4
b1288c5e599c * empty log message * wenzelm parents: diff changeset	5	* Minho (Portugal) -- CURRENTLY DISABLED
b1288c5e599c * empty log message * wenzelm parents: diff changeset	6	http://ciumix.ci.uminho.pt/mirrors/isabelle/
b1288c5e599c * empty log message * wenzelm parents: diff changeset	7	archive@ci.uminho.pt, sergio@ci.uminho.pt
b1288c5e599c * empty log message * wenzelm parents: diff changeset	8
b1288c5e599c * empty log message * wenzelm parents: diff changeset	9	* Munich (Germany)
b1288c5e599c * empty log message * wenzelm parents: diff changeset	10	http://isabelle.in.tum.de/dist/
b1288c5e599c * empty log message * wenzelm parents: diff changeset	11
b1288c5e599c * empty log message * wenzelm parents: diff changeset	12	* New Jersey (USA)
b1288c5e599c * empty log message * wenzelm parents: diff changeset	13	ftp://ftp.research.bell-labs.com/dist/smlnj/isabelle/index.html
b1288c5e599c * empty log message * wenzelm parents: diff changeset	14	Dave MacQueen <dbm@research.bell-labs.com>