From 90a2ffa45ff32db8afc7875c0b489c58993a2653 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 18 Feb 2003 17:22:29 +0000
Subject: Updated.

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

(limited to 'html/projects.html')

diff --git a/html/projects.html b/html/projects.html
index 9f1c274d..ed2608d3 100644
--- a/html/projects.html
+++ b/html/projects.html
@@ -37,7 +37,6 @@ title.
 
 <h2>B. Projects not directly involving Proof General</h2>
 <ol>
-<li><?php pgproject("mm","Multiplexed Modes for Emacs") ?></li>
 <li><?php pgproject("scrgen","Script General") ?></li>
 <!-- <li><?php pgproject("corba","An Experimental CORBA binding for ML") ?></li> -->
 <!-- <li><?php pgproject("reelcase","A ClearCase-like Configuration Management tool for Linux") ?></li> -->
-- 
cgit v1.2.3