From d6a021df262590c8ec79834e3019ae34eb7c3e7e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 9 Mar 2000 11:08:10 +0000
Subject: Added project for HOL PG

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

(limited to 'html/projects.phtml')

diff --git a/html/projects.phtml b/html/projects.phtml
index e46ca495..debd1385 100644
--- a/html/projects.phtml
+++ b/html/projects.phtml
@@ -30,6 +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>
 </ol>
 
 <h2>B. Projects not directly involving Proof General</h2>
-- 
cgit v1.2.3