From e14a1664699ef527926e093908739f5fa992e48a Mon Sep 17 00:00:00 2001 From: Thomas Kleymann Date: Thu, 8 Oct 1998 12:27:35 +0000 Subject: removed bra-types and uitp from pre-release message --- etc/announce | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/etc/announce b/etc/announce index e19089d9..8ec39188 100644 --- a/etc/announce +++ b/etc/announce @@ -1,5 +1,5 @@ From: Proof General maintainer -To: bra-types@cs.chalmers.se, coq-club@pauillac.inria.fr, isabelle-users@cl.cam.ac.uk, lego-club@dcs.ed.ac.uk, uitp@dcs.gla.ac.uk +To: coq-club@pauillac.inria.fr, isabelle-users@cl.cam.ac.uk, lego-club@dcs.ed.ac.uk Subject: Generic Emacs interface for proof assistants - pre-release --text follows this line-- -- cgit v1.2.3