From 45b1cff194b0dbd38d39cf5175d100b88a55792a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 16 Apr 2004 10:00:44 +0000
Subject: Updated.

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

(limited to 'etc')

diff --git a/etc/announce b/etc/announce
index c614932e..811b48c7 100644
--- a/etc/announce
+++ b/etc/announce
@@ -32,6 +32,7 @@ Summary of interesting changes since 3.4:
 . For Coq: a new "holes" system, for editing structured expressions
 . For Isabelle: 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/)
 . Many other minor improvements and editing features
 . Many changes for compatibility with latest Emacsen (esp. GNU) and provers
 
-- 
cgit v1.2.3