diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2004-04-16 14:19:25 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-16 14:19:25 +0000 |
commit | 98b419b104a9c7b0a12ee2f00248ef983117a725 (patch) | |
tree | cf319d9b4a92be80998021939051ae8251418ed1 /etc | |
parent | cb8c0fb72a9d9b0414177859c2c63249d63d46a8 (diff) |
Updated.
Diffstat (limited to 'etc')
-rw-r--r-- | etc/announce-header.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/etc/announce-header.txt b/etc/announce-header.txt index 80e401fc..f3555060 100644 --- a/etc/announce-header.txt +++ b/etc/announce-header.txt @@ -1,8 +1,8 @@ To: coq-club@pauillac.inria.fr, isabelle-users@cl.cam.ac.uk, lego-club@dcs.ed.ac.uk, - uitp@dcs.gla.ac.uk, - bra-types@cs.chalmers.se, +-- 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, |