equal
deleted
inserted
replaced
1 |
1 |
2 <!-- $Id$ --> |
2 <!-- $Id$ --> |
3 |
3 |
4 %title% |
4 %title% |
5 Isabelle Distribution Area |
5 Isabelle Distribution Area |
6 |
|
7 |
6 |
8 %body% |
7 %body% |
9 <p> |
8 <p> |
10 |
9 |
11 <h2>Mirror sites (in alphabetical order)</h2> |
10 <h2>Mirror sites (in alphabetical order)</h2> |
12 |
11 |
13 <ul> |
12 <ul> |
14 |
13 |
15 <li> <a href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/binary.html">Cambridge (UK)</a> <br> </li> |
14 <li> <a |
|
15 href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/packages.html">Cambridge |
|
16 (UK)</a> <br> </li> |
16 |
17 |
17 <li> <a href="http://isabelle.in.tum.de/dist/binary.html">Munich (Germany)</a> <br> </li> |
18 <li> <a href="http://isabelle.in.tum.de/dist/packages.html">Munich |
|
19 (Germany)</a> <br> </li> |
18 |
20 |
19 <li> <a href="http://ftp.research.bell-labs.com/dist/smlnj/isabelle/binary.html">New Jersey (USA)</a> <br> </li> |
21 <li> <a |
|
22 href="http://ftp.research.bell-labs.com/dist/smlnj/isabelle/packages.html">New |
|
23 Jersey (USA)</a> <br> </li> |
20 |
24 |
21 <li> <a href="ftp://rodin.stanford.edu/pub/smlnj/isabelle/binary.html">Stanford (USA)</a> <br> </li> |
25 <li> <a |
|
26 href="ftp://rodin.stanford.edu/pub/smlnj/isabelle/packages.html">Stanford |
|
27 (USA)</a> <br> </li> |
22 |
28 |
23 </ul> |
29 </ul> |