From a377479a7228bc45f065cd10fe69aec51dc5ce5a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 14 Sep 2000 13:31:05 +0000
Subject: Updates

---
 html/features.phtml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'html/features.phtml')

diff --git a/html/features.phtml b/html/features.phtml
index c3bcfd89..372ab17b 100644
--- a/html/features.phtml
+++ b/html/features.phtml
@@ -1,3 +1,4 @@
+<h2>Features of Proof General</h2>
 <p>
 It doesn't matter if you're an Emacs militant or a pacifist!
 </p>
-- 
cgit v1.2.3