isabelle: Admin/MIRRORS@3add5cfc89c2 (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
3add5cfc89c2 generate TAGS file for Isabelle sources; wenzelm parents: 6537 diff changeset	12	* Stanford (USA)
3add5cfc89c2 generate TAGS file for Isabelle sources; wenzelm parents: 6537 diff changeset	13	ftp://rodin.stanford.edu/pub/smlnj/isabelle/source.html
3add5cfc89c2 generate TAGS file for Isabelle sources; wenzelm parents: 6537 diff changeset	14	Lal George (?)

author	wenzelm
	Wed, 07 Jun 2000 12:18:02 +0200
changeset 9048	3add5cfc89c2
parent 6537	b1288c5e599c
child 13046	69ab0e74ccda
permissions	-rw-r--r--