From 59bdb9ac18f8f1e2a91a00cc73274acbfa8d9611 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 23 Apr 2002 16:53:32 +0000
Subject: Fix URL for X-symbol

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

(limited to 'html/projects.html')

diff --git a/html/projects.html b/html/projects.html
index a1a6ba8a..00fc98b0 100644
--- a/html/projects.html
+++ b/html/projects.html
@@ -32,6 +32,7 @@ title.
 <li><?php pgproject("test","A Test Harness and Test Suite for Proof General") ?></li>
 <li><?php pgproject("hol","Proof General for HOL") ?></li>
 <li><?php pgproject("acs","Implementing Atomic Command Sequences") ?></li>
+<li><?php pgproject("pgkit","Proof General Kit (LFCS summer studentship)") ?></li>
 </ol>
 
 <h2>B. Projects not directly involving Proof General</h2>
-- 
cgit v1.2.3