From 176c2ea7966af858cd501b88762fbed378f00698 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 15 Apr 2004 13:31:36 +0000
Subject: Updated.

---
 etc/announce | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'etc')

diff --git a/etc/announce b/etc/announce
index a8d1aa31..5a28a99b 100644
--- a/etc/announce
+++ b/etc/announce
@@ -7,7 +7,7 @@
 Proof General is a generic (X)Emacs interface for proof assistants.
 It can be instantiated for the proof assistant of your choice, and is
 supplied ready-customised for Isabelle, Coq, LEGO, and PhoX, and, 
-experimentally, for HOL98, Twelf, and ACL2.
+experimentally, several other systems.
 
 Proof General includes these features, amongst others:
 
-- 
cgit v1.2.3