equal
deleted
inserted
replaced
10 |
10 |
11 <h2>Mirror sites (in alphabetical order)</h2> |
11 <h2>Mirror sites (in alphabetical order)</h2> |
12 |
12 |
13 <ul> |
13 <ul> |
14 |
14 |
15 <li> <a href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/source.html">Cambridge (UK)</a> <br> </li> |
15 <li> <a href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/binary.html">Cambridge (UK)</a> <br> </li> |
16 |
16 |
17 <li> <a href="http://isabelle.in.tum.de/dist/source.html">Munich (Germany)</a> <br> </li> |
17 <li> <a href="http://isabelle.in.tum.de/dist/binary.html">Munich (Germany)</a> <br> </li> |
18 |
18 |
19 <li> <a href="http://ftp.research.bell-labs.com/dist/smlnj/isabelle/source.html">New Jersey (USA)</a> <br> </li> |
19 <li> <a href="http://ftp.research.bell-labs.com/dist/smlnj/isabelle/binary.html">New Jersey (USA)</a> <br> </li> |
20 |
20 |
21 <li> <a href="ftp://rodin.stanford.edu/pub/smlnj/isabelle/source.html">Stanford (USA)</a> <br> </li> |
21 <li> <a href="ftp://rodin.stanford.edu/pub/smlnj/isabelle/binary.html">Stanford (USA)</a> <br> </li> |
22 |
22 |
23 </ul> |
23 </ul> |