isabelle: Admin/MIRRORS@a152d6b21c31 (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>