From 6ab6ee50b10c3ae408e8e04a84966c696ee628ff Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 10 Mar 2000 06:02:00 +0000
Subject: Brevity

---
 html/projects.phtml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'html/projects.phtml')

diff --git a/html/projects.phtml b/html/projects.phtml
index debd1385..d6088410 100644
--- a/html/projects.phtml
+++ b/html/projects.phtml
@@ -30,7 +30,7 @@ title.
 <li><?php pgproject("pgip","A New Protocol for Interactive Proof in Proof General") ?></li>
 <li><?php pgproject("webreplay","A Web-based Proof Replayer for Proof General") ?></li>
 <li><?php pgproject("test","A Test Harness and Test Suite for Proof General") ?></li>
-<li><?php pgproject("hol","An instance of Proof General for HOL") ?></li>
+<li><?php pgproject("hol","Proof General for HOL") ?></li>
 </ol>
 
 <h2>B. Projects not directly involving Proof General</h2>
-- 
cgit v1.2.3