equal
deleted
inserted
replaced
|
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"> |
|
3 <?cvs id="$Id$"?> |
|
4 <html xmlns="http://www.w3.org/1999/xhtml"> |
|
5 |
|
6 <head> |
|
7 <title>Isabelle download mirrors</title> |
|
8 <?include file="//include/htmlheader.include.html"?> |
|
9 </head> |
|
10 |
|
11 <body class="dist"> |
|
12 <?include file="//include/header.include.html"?> |
|
13 <div class="hr"><hr/></div> |
|
14 <?include file="//include/navigation_dist.include.html"?> |
|
15 <div class="hr"><hr/></div> |
|
16 <div id="content"> |
|
17 <h2>Welcome to the Isabelle Distribution!</h2> |
|
18 |
|
19 <p>First, you might like to switch to a nearby mirror:</p> |
|
20 |
|
21 <ul> |
|
22 <li><a href= |
|
23 "http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/download.html">Cambridge |
|
24 (UK)</a></li> |
|
25 |
|
26 <li><a href="http://isabelle.in.tum.de/dist/download.html">Munich |
|
27 (Germany)</a></li> |
|
28 |
|
29 <li><a href= |
|
30 "http://mirror.cse.unsw.edu.au/pub/isabelle/download.html">Sydney |
|
31 (Australia)</a></li> |
|
32 </ul> |
|
33 </div> |
|
34 <div class="hr"><hr/></div> |
|
35 <?include file="//include/footer.include.html"?> |
|
36 </body> |
|
37 |
|
38 </html> |