From cef0b539c86f81e1bbb35ad1bcb35c91df6daaa6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 7 May 2004 00:03:14 +0000
Subject: Claim auto compilation for Coq.

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

diff --git a/etc/announce b/etc/announce
index 1b9c0935..cb8f3c05 100644
--- a/etc/announce
+++ b/etc/announce
@@ -29,7 +29,7 @@ Summary of interesting 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
-. For Coq (8.0): extensive templates, automatic compilation support
+. For Coq (8.0): "holes" for editing expressions, extra menus, auto compilation
 . For Isabelle (2004): browsing/highlighting theorem dependencies
 . New instances of PG: Casl Consistency Checker, Shell Script
 . Additional sample proofs (some from http://www.cs.kun.nl/~freek/comparison/)
-- 
cgit v1.2.3