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