From c621a2ea58e24b04db91787e38a6842fe80a477b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 14 Apr 2004 16:30:28 +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 f563b096..a8d1aa31 100644
--- a/etc/announce
+++ b/etc/announce
@@ -29,7 +29,7 @@ Summary of changes since 3.4:
 . Keyboard hints and other messages displayed in minibuffer
 . Auxiliary modes bundled: X-Symbol and MMM Mode
 . Improved menus, user options, script colouring and active highlighting
-. Many changes for compatibility with latest Emacsen and provers
+. Many changes for compatibility with latest Emacsen (esp. GNU) and provers
 . Many other minor improvements and editing features
 . For Coq: a new "holes" system, for editing structured expressions
 . New instances of PG: Casl Consistency Checker, Shell Script
-- 
cgit v1.2.3