diff options
| author | Thomas Kleymann | 1998-10-02 13:48:57 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-10-02 13:48:57 +0000 |
| commit | 9b88ad67f5b7a033de9bc6bb69c8d9c8a3f55a10 (patch) | |
| tree | d09907a74f0b0aa4897ae70133b8a974df30fdad /etc | |
| parent | 527599b14b8900f4d32aedd9a6b5d3ec7caa0b8f (diff) | |
put isabelle-users address in alphabetic order
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/announce | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/announce b/etc/announce index c694ecdd..e19089d9 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, lego-club@dcs.ed.ac.uk, uitp@dcs.gla.ac.uk, isabelle-users@cl.cam.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 Subject: Generic Emacs interface for proof assistants - pre-release --text follows this line-- |