From 6cbd3fcffef57123dfe37c87e05f43996a2eda1c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 17 Nov 1999 17:26:39 +0000
Subject: Headers to match other pages

---
 html/oldrel.phtml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'html')

diff --git a/html/oldrel.phtml b/html/oldrel.phtml
index 234a5f5a..2fcf505d 100644
--- a/html/oldrel.phtml
+++ b/html/oldrel.phtml
@@ -8,7 +8,7 @@ Please note that we do not support these old releases in any way.
 </p>
 
 
-<h4>Proof General Version 2.1, released 24th August 1999</h4>
+<h2>Proof General Version 2.1, released 24th August 1999</h2>
 
 <p>
 This version of Proof General has been tested
@@ -28,7 +28,7 @@ some pre-release versions of Isabelle version 99.
 </ul>
 
 
-<h4>Proof General Version 2.0, released 16th December 1998</h4>
+<h2>Proof General Version 2.0, released 16th December 1998</h2>
 
 <p>
 This version of Proof General has been tested
-- 
cgit v1.2.3