From ef92ca36c2390a7779766ab0fa65bbee6ca5d9f9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 9 Mar 2000 10:59:03 +0000
Subject: Cleaned old lines

---
 html/main.phtml | 11 -----------
 1 file changed, 11 deletions(-)

diff --git a/html/main.phtml b/html/main.phtml
index c944662c..79e46e4f 100644
--- a/html/main.phtml
+++ b/html/main.phtml
@@ -1,14 +1,3 @@
-<!-- <?php  print $separator; ?> -->
-<!-- <a href="#what">What</a>  -->
-<!-- <?php  print $separator; ?> -->
-<!-- <a href="#why">Why</a>  -->
-<!-- <?php  print $separator; ?> -->
-<!-- <a href="#about">About</a>  -->
-<!-- </br> -->
-
-
-<!-- <h2><a name="what">What is Proof General?</a></h2> -->
-
 <p>
 <b>Proof General</b> is a generic interface for proof assistants, 
 based on Emacs.<br>
-- 
cgit v1.2.3