Deleted file

1 files changed, 0 insertions, 28 deletions

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]