isabelle: Admin/MIRRORS@c5fad3c40d45 (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	* Munich (Germany)
b1288c5e599c * empty log message * wenzelm parents: diff changeset	6	http://isabelle.in.tum.de/dist/
b1288c5e599c * empty log message * wenzelm parents: diff changeset	7
b1288c5e599c * empty log message * wenzelm parents: diff changeset	8	* New Jersey (USA)
9048 3add5cfc89c2 generate TAGS file for Isabelle sources; wenzelm parents: 6537 diff changeset	9	http://ftp.research.bell-labs.com/dist/smlnj/isabelle/source.html
6537 b1288c5e599c * empty log message * wenzelm parents: diff changeset	10	Dave MacQueen <dbm@research.bell-labs.com>
9048 3add5cfc89c2 generate TAGS file for Isabelle sources; wenzelm parents: 6537 diff changeset	11
13046 69ab0e74ccda removed Stanford mirror; wenzelm parents: 9048 diff changeset	12	* Stanford (USA) (??)
9048 3add5cfc89c2 generate TAGS file for Isabelle sources; wenzelm parents: 6537 diff changeset	13	ftp://rodin.stanford.edu/pub/smlnj/isabelle/source.html
13046 69ab0e74ccda removed Stanford mirror; wenzelm parents: 9048 diff changeset	14	Lal George (??)