<?xml version='1.0' encoding='iso-8859-1' ?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<!-- $Id$ -->
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<title>Download</title>
<?include file="//include/htmlheader.include.html"?>
</head>
<body>
<?include file="//include/header.include.html"?>
<div class="hr"><hr/></div>
<?include file="//include/navigation.include.html"?>
<div class="hr"><hr/></div>
<div id="content">
<h2><?value key="distname"?></h2>
<p>The following source and binary packages of <?value key="distname"?>
provide everything required for easy installation of the full Isabelle
working environment on common Unix platforms (e.g. Linux, MacOS X,
Solaris). We provide a complete set of packages for Isabelle, Proof
General, and PolyML.</p>
<p>While XEmacs 21 is not included here, most operating system
distributions already provide a suitable package. Some of the
packages below are platform dependent; we include binaries for
Linux/x86, Solaris/Sparc, and Darwin/PPC (MacOS X).</p>
<p>Please see the <a href="installation.html">installation instructions</a>
for which packages to download and for more information.</p>
<?include file="//include/downloadtable.include.html"?>
<h2>Development snapshot</h2>
<p>For the curious we provide a nightly generated
CVS <a href="http://isabelle.in.tum.de/devel/">development snapshot</a> of
Isabelle. <em>Use at your own risk!</em></p>
<h2>Past releases</h2>
<p>Past releases are available from the <a href="download_past.html">archive</a>.</p>
</div>
<div class="hr"><hr/></div>
<?include file="//include/footer.include.html"?>
</body>
</html>