|
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 <!-- $Id$ --> |
|
4 <html xmlns="http://www.w3.org/1999/xhtml"> |
|
5 |
|
6 <head> |
|
7 <title>Download</title> |
|
8 <?include file="//include/htmlheader.include.html"?> |
|
9 </head> |
|
10 |
|
11 <body> |
|
12 <?include file="//include/header.include.html"?> |
|
13 <div class="hr"><hr/></div> |
|
14 <?include file="//include/navigation.include.html"?> |
|
15 <div class="hr"><hr/></div> |
|
16 |
|
17 <div id="content"> |
|
18 |
|
19 <h2><?value key="distname"?></h2> |
|
20 |
|
21 <p>The following source and binary packages of <?value key="distname"?> |
|
22 provide everything required for easy installation of the full Isabelle |
|
23 working environment on common Unix platforms (e.g. Linux, MacOS X, |
|
24 Solaris). We provide a complete set of packages for Isabelle, Proof |
|
25 General, and PolyML.</p> |
|
26 |
|
27 <p>While XEmacs 21 is not included here, most operating system |
|
28 distributions already provide a suitable package. Some of the |
|
29 packages below are platform dependent; we include binaries for |
|
30 Linux/x86, Solaris/Sparc, and Darwin/PPC (MacOS X).</p> |
|
31 |
|
32 <p>Please see the <a href="installation.html">installation instructions</a> |
|
33 for which packages to download and for more information.</p> |
|
34 |
|
35 <?include file="//include/downloadtable.include.html"?> |
|
36 |
|
37 <h2>Development snapshot</h2> |
|
38 |
|
39 <p>For the curious we provide a nightly generated |
|
40 CVS <a href="http://isabelle.in.tum.de/devel/">development snapshot</a> of |
|
41 Isabelle. <em>Use at your own risk!</em></p> |
|
42 |
|
43 <h2>Past releases</h2> |
|
44 |
|
45 <p>Past releases are available from the <a href="download_past.html">archive</a>.</p> |
|
46 |
|
47 </div> |
|
48 <div class="hr"><hr/></div> |
|
49 <?include file="//include/footer.include.html"?> |
|
50 </body> |
|
51 |
|
52 </html> |