Admin/website/download.html
author wenzelm
Wed, 15 Feb 2006 21:34:55 +0100
changeset 19046 bc5c6c9b114e
parent 17677 9763b78adb1b
permissions -rw-r--r--
removed distinct, renamed gen_distinct to distinct;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
17677
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
     1
<?xml version='1.0' encoding='iso-8859-1' ?>
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
     2
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
     3
<!-- $Id$ -->
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
     4
<html xmlns="http://www.w3.org/1999/xhtml">
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
     5
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
     6
<head>
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
     7
    <title>Download</title>
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
     8
    <?include file="//include/htmlheader.include.html"?>
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
     9
</head>
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
    10
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
    11
<body>
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
    12
    <?include file="//include/header.include.html"?>
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
    13
    <div class="hr"><hr/></div>
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
    14
    <?include file="//include/navigation.include.html"?>
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
    15
    <div class="hr"><hr/></div>
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
    16
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
    17
    <div id="content">
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
    18
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
    19
        <h2><?value key="distname"?></h2>
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
    20
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
    21
        <p>The following source and binary packages of <?value key="distname"?>
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
    22
        provide everything required for easy installation of the full Isabelle
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
    23
        working environment on common Unix platforms (e.g. Linux, MacOS X,
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
    24
        Solaris). We provide a complete set of packages for Isabelle, Proof
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
    25
        General, and PolyML.</p>
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
    26
    
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
    27
        <p>While XEmacs 21 is not included here, most operating system
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
    28
        distributions already provide a suitable package. Some of the
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
    29
        packages below are platform dependent; we include binaries for
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
    30
        Linux/x86, Solaris/Sparc, and Darwin/PPC (MacOS X).</p>
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
    31
    
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
    32
        <p>Please see the <a href="installation.html">installation instructions</a>
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
    33
        for which packages to download and for more information.</p>
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
    34
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
    35
        <?include file="//include/downloadtable.include.html"?>
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
    36
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
    37
        <h2>Development snapshot</h2>
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
    38
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
    39
        <p>For the curious we provide a nightly generated
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
    40
        CVS <a href="http://isabelle.in.tum.de/devel/">development snapshot</a> of
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
    41
        Isabelle. <em>Use at your own risk!</em></p>
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
    42
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
    43
        <h2>Past releases</h2>
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
    44
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
    45
        <p>Past releases are available from the <a href="download_past.html">archive</a>.</p>
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
    46
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
    47
    </div>
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
    48
    <div class="hr"><hr/></div>
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
    49
    <?include file="//include/footer.include.html"?>
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
    50
</body>
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
    51
9763b78adb1b renamed "Packages" to "Download";
wenzelm
parents:
diff changeset
    52
</html>