diff options
| author |  Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1998-10-08 12:27:35 +0000 |
|---|---|---|
| committer | Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1998-10-08 12:27:35 +0000 |
| commit | e14a1664699ef527926e093908739f5fa992e48a (patch) | |
| tree | 26a675d276d6caef0de853e0b64451c95e017daa /etc/announce | |
| parent | aa1658b6accfcf16ede5d07af6a40e4c426b3e11 (diff) | |
removed bra-types and uitp from pre-release message
Diffstat (limited to 'etc/announce')
| -rw-r--r-- | etc/announce | 2 |
1 files changed, 1 insertions, 1 deletions
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 <proofgen@dcs.ed.ac.uk> -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-- |