From 2885afa55b4b4502f7fba2216eb18e6a57e0ba84 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 3 Sep 2001 12:29:55 +0000
Subject: Renamed file

---
 html/oldrel.html | 112 -------------------------------------------
 html/oldrel.php  | 141 +++++++++++++++++++++++++++++++++++++++++++++++++++++++
 2 files changed, 141 insertions(+), 112 deletions(-)
 delete mode 100644 html/oldrel.html
 create mode 100644 html/oldrel.php

(limited to 'html')

diff --git a/html/oldrel.html b/html/oldrel.html
deleted file mode 100644
index 9aa952ff..00000000
--- a/html/oldrel.html
+++ /dev/null
@@ -1,112 +0,0 @@
-<?php  
-  require('functions.php3');
-  small_header("Previous Releases of Proof General"); 
-  ?>
-
-<p>
-Please note that we do not support these old releases in any way.
-</p>
-
-<h2>Proof General Version 3.1, released 23rd March 2000</h2>
-
-<p>
-This version of Proof General has been tested
-with XEmacs 21.1 and FSF Emacs 20.4.
-It supports Coq version 6.3, LEGO version 1.3.1 and
-Isabelle99.
-</p>
-
-<ul>
-  <li> gzip'ed tar file: 
-      <?php download_link("ProofGeneral-3.1.tar.gz") ?>
-       <br>or zip file:
-      <?php download_link("ProofGeneral-3.1.zip") ?>,
-  </li>
-  <li> RPM package:
-      <?php download_link("ProofGeneral-3.1-1.noarch.rpm") ?>
-     <br>
-     The 
-      <?php download_link("ProofGeneral-3.1-1.src.rpm",
-	"source RPM") ?>.
-   </li>
-</ul>
-<p>
-Check the <?php fileshow("ProofGeneral-3.1/CHANGES","CHANGES"); ?> file
-for a summary of changes since version 3.0.
-</p>
-
-
-
-<h2>Proof General Version 3.0, released 26th November 1999</h2>
-
-<p>
-This version of Proof General has been tested
-with XEmacs 20.4, XEmacs 21.1.8 and FSF Emacs 20.5.<br>
-It supports Coq version 6.3, LEGO version 1.3.1 and Isabelle99.
-</p>
-<ul>
-  <li> gzip'ed tar file: 
-      <?php download_link("ProofGeneral-3.0.tar.gz") ?>
-  </li>
- <li> Linux RPM package:
-      <?php download_link("ProofGeneral-3.0-1.noarch.rpm") ?>
-     <br>
-     The source RPM is 
-      <?php download_link("ProofGeneral-3.0-1.noarch.rpm","here") ?>.
- </li>
-</ul>
-<p>
-Check the <?php fileshow("ProofGeneral-3.0/CHANGES","CHANGES"); ?> file
-for a summary of changes since version 2.1.
-</p>
-
-
-
-<h2>Proof General Version 2.1, released 24th August 1999</h2>
-
-<p>
-This version of Proof General has been tested
-with XEmacs 20.4, XEmacs 21 and FSF Emacs 20.3.<br>
-It supports Coq version 6.3, LEGO version 1.3.1 and
-some pre-release versions of Isabelle version 99.
-<ul>
-  <li> gzip'ed tar file: 
-      <?php download_link("ProofGeneral-2.1.tar.gz") ?>
-  </li>
- <li> Linux RPM package:
-      <?php download_link("ProofGeneral-2.1-1.noarch.rpm") ?>
-     <br>
-     The source RPM is 
-      <?php download_link("ProofGeneral-2.1-1.noarch.rpm","here") ?>.
- </li>
-</ul>
-<p>
-Check the <?php fileshow("ProofGeneral-2.1/CHANGES","CHANGES"); ?> file
-for a summary of changes since version 2.0.
-</p>
-
-
-<h2>Proof General Version 2.0, released 16th December 1998</h2>
-
-<p>
-This version of Proof General has been tested
-with XEmacs 20.4 and FSF Emacs 20.2, 20.3.<br>
-It supports Coq version 6.2, LEGO version 1.3.1, and
-Isabelle version 98-1.<br>
-</p>
-<ul>
-  <li> gzip'ed tar file: 
-      <?php download_link("ProofGeneral-2.0.tar.gz") ?>
-  </li>
- <li> Linux RPM package:
-      <?php download_link("ProofGeneral-2.0-1.noarch.rpm") ?>
-     <br>
-     The source RPM is 
-      <?php download_link("ProofGeneral-2.0-1.noarch.rpm","here") ?>.
- </li>
-</ul>
-
-<?php
-   click_to_go_back();
-   footer();
-?>
diff --git a/html/oldrel.php b/html/oldrel.php
new file mode 100644
index 00000000..6d45372c
--- /dev/null
+++ b/html/oldrel.php
@@ -0,0 +1,141 @@
+<?php  
+  require('functions.php3');
+  small_header("Previous Releases of Proof General"); 
+  ?>
+
+<p>
+Please note that we do not support these old releases in any way.
+</p>
+
+<h2>Proof General Version 3.2, released 2nd October 2000</h2>
+<p>
+This version of Proof General has been tested
+with XEmacs 21.1 and (briefly with) FSF Emacs 20.7.
+It supports Coq version 6.3, LEGO version 1.3.1 and
+Isabelle99-1.
+</p>
+
+<ul>
+  <li> gzip'ed tar file: 
+      <?php download_link("ProofGeneral-3.2.tar.gz") ?>,
+      <br>
+      or the same thing in a zip file:
+      <?php download_link("ProofGeneral-3.2.zip") ?>,
+  </li>
+ <li> Linux RPM package:
+      <?php download_link("ProofGeneral-3.2-1.noarch.rpm") ?>
+     <br>
+     You probably don't need the 
+      <?php download_link("ProofGeneral-3.2-1.src.rpm",
+	"source RPM") ?>.
+ </li>
+</ul>
+
+<p>
+Check the <?php fileshow("ProofGeneral-3.2/CHANGES","CHANGES"); ?> file
+for a summary of changes since version 3.1.
+</p>
+
+<h2>Proof General Version 3.1, released 23rd March 2000</h2>
+
+<p>
+This version of Proof General has been tested
+with XEmacs 21.1 and FSF Emacs 20.4.
+It supports Coq version 6.3, LEGO version 1.3.1 and
+Isabelle99.
+</p>
+
+<ul>
+  <li> gzip'ed tar file: 
+      <?php download_link("ProofGeneral-3.1.tar.gz") ?>
+       <br>or zip file:
+      <?php download_link("ProofGeneral-3.1.zip") ?>,
+  </li>
+  <li> RPM package:
+      <?php download_link("ProofGeneral-3.1-1.noarch.rpm") ?>
+     <br>
+     The 
+      <?php download_link("ProofGeneral-3.1-1.src.rpm",
+	"source RPM") ?>.
+   </li>
+</ul>
+<p>
+Check the <?php fileshow("ProofGeneral-3.1/CHANGES","CHANGES"); ?> file
+for a summary of changes since version 3.0.
+</p>
+
+
+
+<h2>Proof General Version 3.0, released 26th November 1999</h2>
+
+<p>
+This version of Proof General has been tested
+with XEmacs 20.4, XEmacs 21.1.8 and FSF Emacs 20.5.<br>
+It supports Coq version 6.3, LEGO version 1.3.1 and Isabelle99.
+</p>
+<ul>
+  <li> gzip'ed tar file: 
+      <?php download_link("ProofGeneral-3.0.tar.gz") ?>
+  </li>
+ <li> Linux RPM package:
+      <?php download_link("ProofGeneral-3.0-1.noarch.rpm") ?>
+     <br>
+     The source RPM is 
+      <?php download_link("ProofGeneral-3.0-1.noarch.rpm","here") ?>.
+ </li>
+</ul>
+<p>
+Check the <?php fileshow("ProofGeneral-3.0/CHANGES","CHANGES"); ?> file
+for a summary of changes since version 2.1.
+</p>
+
+
+
+<h2>Proof General Version 2.1, released 24th August 1999</h2>
+
+<p>
+This version of Proof General has been tested
+with XEmacs 20.4, XEmacs 21 and FSF Emacs 20.3.<br>
+It supports Coq version 6.3, LEGO version 1.3.1 and
+some pre-release versions of Isabelle version 99.
+<ul>
+  <li> gzip'ed tar file: 
+      <?php download_link("ProofGeneral-2.1.tar.gz") ?>
+  </li>
+ <li> Linux RPM package:
+      <?php download_link("ProofGeneral-2.1-1.noarch.rpm") ?>
+     <br>
+     The source RPM is 
+      <?php download_link("ProofGeneral-2.1-1.noarch.rpm","here") ?>.
+ </li>
+</ul>
+<p>
+Check the <?php fileshow("ProofGeneral-2.1/CHANGES","CHANGES"); ?> file
+for a summary of changes since version 2.0.
+</p>
+
+
+<h2>Proof General Version 2.0, released 16th December 1998</h2>
+
+<p>
+This version of Proof General has been tested
+with XEmacs 20.4 and FSF Emacs 20.2, 20.3.<br>
+It supports Coq version 6.2, LEGO version 1.3.1, and
+Isabelle version 98-1.<br>
+</p>
+<ul>
+  <li> gzip'ed tar file: 
+      <?php download_link("ProofGeneral-2.0.tar.gz") ?>
+  </li>
+ <li> Linux RPM package:
+      <?php download_link("ProofGeneral-2.0-1.noarch.rpm") ?>
+     <br>
+     The source RPM is 
+      <?php download_link("ProofGeneral-2.0-1.noarch.rpm","here") ?>.
+ </li>
+</ul>
+
+<?php
+   click_to_go_back();
+   footer();
+?>
-- 
cgit v1.2.3