From 553f56d5d0ddc88c219c0fb22cb0ace0e8177441 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 14 Jul 2002 13:11:04 +0000
Subject: Add check changes

---
 html/oldrel.php | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

(limited to 'html/oldrel.php')

diff --git a/html/oldrel.php b/html/oldrel.php
index 1d2002b4..c48df091 100644
--- a/html/oldrel.php
+++ b/html/oldrel.php
@@ -27,6 +27,10 @@ Isabelle2002.
       <?php download_link("ProofGeneral-3.2-1.noarch.rpm") ?>
  </li>
 </ul>
+<p>
+Check the <?php fileshow("ProofGeneral-3.3/CHANGES","CHANGES"); ?> file
+for a summary of changes since version 3.2.
+</p>
 
 
 <h2>Proof General Version 3.2, released 2nd October 2000</h2>
@@ -52,7 +56,6 @@ Isabelle99-1.
 	"source RPM") ?>.
  </li>
 </ul>
-
 <p>
 Check the <?php fileshow("ProofGeneral-3.2/CHANGES","CHANGES"); ?> file
 for a summary of changes since version 3.1.
@@ -131,10 +134,6 @@ some pre-release versions of Isabelle version 99.
       <?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>
-- 
cgit v1.2.3