equal
deleted
inserted
replaced
1 <?xml version='1.0' encoding='iso-8859-1' ?> |
1 <?xml version='1.0' encoding='iso-8859-1' ?> |
2 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> |
2 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> |
3 <?cvs id="$Id$"?> |
3 <!-- $Id$ --> |
4 <html xmlns="http://www.w3.org/1999/xhtml"> |
4 <html xmlns="http://www.w3.org/1999/xhtml"> |
5 |
5 |
6 <head> |
6 <head> |
7 <title>Isabelle download mirrors</title> |
7 <title>Isabelle download mirrors</title> |
8 <?include file="//include/htmlheader.include.html"?> |
8 <?include file="//include/htmlheader.include.html"?> |
17 <h2>Welcome to the Isabelle Distribution!</h2> |
17 <h2>Welcome to the Isabelle Distribution!</h2> |
18 |
18 |
19 <p>First, you might like to switch to a nearby mirror:</p> |
19 <p>First, you might like to switch to a nearby mirror:</p> |
20 |
20 |
21 <ul> |
21 <ul> |
22 <li><a href= |
22 <li><a href="http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/download.html">Cambridge |
23 "http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/download.html">Cambridge |
|
24 (UK)</a></li> |
23 (UK)</a></li> |
25 |
24 |
26 <li><a href="http://isabelle.in.tum.de/dist/download.html">Munich |
25 <li><a href="http://isabelle.in.tum.de/dist/download.html">Munich |
27 (Germany)</a></li> |
26 (Germany)</a></li> |
28 |
27 |
29 <li><a href= |
28 <li><a href="http://mirror.cse.unsw.edu.au/pub/isabelle/download.html">Sydney |
30 "http://mirror.cse.unsw.edu.au/pub/isabelle/download.html">Sydney |
|
31 (Australia)</a></li> |
29 (Australia)</a></li> |
32 </ul> |
30 </ul> |
33 </div> |
31 </div> |
34 <div class="hr"><hr/></div> |
32 <div class="hr"><hr/></div> |
35 <?include file="//include/footer.include.html"?> |
33 <?include file="//include/footer.include.html"?> |