From 1e8c06304208adae0b038894826c8f5ae20d949c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 12 Dec 2007 20:29:36 +0000
Subject: Deleted file

---
 etc/announce-header.txt | 28 ----------------------------
 1 file changed, 28 deletions(-)
 delete mode 100644 etc/announce-header.txt

diff --git a/etc/announce-header.txt b/etc/announce-header.txt
deleted file mode 100644
index f3555060..00000000
--- a/etc/announce-header.txt
+++ /dev/null
@@ -1,28 +0,0 @@
-To: coq-club@pauillac.inria.fr,
-    isabelle-users@cl.cam.ac.uk,
-    lego-club@dcs.ed.ac.uk,
---     uitp@dcs.gla.ac.uk,   No replacement yet, we should have one!
-    types-wg@durham.ac.uk,
-    info-hol@leopard.cs.byu.edu,
-    pvs@csl.sri.com, 
-    qed@mcs.anl.gov,				
-    theorem-provers@ai.mit.edu,
-    types@cis.upenn.edu,
-    formal-methods@cs.uidaho.edu,
-    reliable_computing@interval.usl.edu,
-    prog-lang@diku.dk
-
-    Also newsgroups:
-     comp.lang.ml
-     comp.lang.functional
-     gnu.emacs.sources
-     comp.emacs.xemacs
-     comp.os.linux.announce
-     freshmeat.net
-
-tag for comp.lang.ml, comp.lang.functional: 
-     
-[Posted here because ML and functional languages generally are
- traditional for implementing interactive theorem provers.
- Implementors of such systems may be interested in Proof General.
- Apologies for multiple copies]
-- 
cgit v1.2.3