Admin/website/dist/download.html
changeset 16674 bf2cd93cc245
parent 16673 6b14aba5ddaa
child 16675 96bdc59afc05
--- a/Admin/website/dist/download.html	Mon Jul 04 14:42:06 2005 +0200
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,54 +0,0 @@
-<?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>Packages</title>
-    <?include file="//include/htmlheader.include.html"?>
-</head>
-
-<body class="dist">
-    <?include file="//include/header.include.html"?>
-    <div class="hr"><hr/></div>
-    <?include file="//include/navigation_dist.include.html"?>
-    <div class="hr"><hr/></div>
-
-    <div id="content">
-        <?include file="//include/mirrorlist.minor.include.html"?>
-        <div class="hr"><hr/></div>
-
-        <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, Darwin,
-        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>