--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/website/download.html Tue Sep 27 17:01:10 2005 +0200
@@ -0,0 +1,52 @@
+<?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>
--- a/Admin/website/include/navigation.include.html Tue Sep 27 16:52:38 2005 +0200
+++ b/Admin/website/include/navigation.include.html Tue Sep 27 17:01:10 2005 +0200
@@ -8,7 +8,7 @@
<?navitem target="overview.html" title="Overview" ?>
<?navitem target="logics.html" title="Logics" ?>
<?navitem target="installation.html" title="Installation" ?>
- <?navitem target="packages.html" title="Packages" ?>
+ <?navitem target="download.html" title="Download" ?>
<?navitem target="documentation.html" title="Documentation" ?>
<?navitem target="community.html" title="Community" ?>
<li><?include file="//include/mirrorlist.include.html"?></li>
--- a/Admin/website/packages.html Tue Sep 27 16:52:38 2005 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,52 +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>
- <?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>