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