From 1aea7fca0334e89fbcf69cc7477589e4118b3ebe Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 19 Mar 2000 06:40:30 +0000
Subject: Improved links, new project on ACS.

---
 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 d6088410..edff89a5 100644
--- a/html/projects.phtml
+++ b/html/projects.phtml
@@ -31,6 +31,7 @@ title.
 <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","Proof General for HOL") ?></li>
+<li><?php pgproject("acs","Implementing Atomic Command Sequences") ?></li>
 </ol>
 
 <h2>B. Projects not directly involving Proof General</h2>
-- 
cgit v1.2.3