diff options
| author | Thomas Kleymann | 1998-10-02 13:09:50 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-10-02 13:09:50 +0000 |
| commit | bab76cf237c99bf1847c7b178621768735898b82 (patch) | |
| tree | bf1293ca18b6089bc7ca6301208c5ddd9b0ac4f0 | |
| parent | 6d06073ac1917748f13739d430202064407b00d5 (diff) | |
draft for first pre-release
| -rw-r--r-- | etc/announce | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/etc/announce b/etc/announce new file mode 100644 index 00000000..ff9e208f --- /dev/null +++ b/etc/announce @@ -0,0 +1,30 @@ +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 +Subject: Generic Emacs interface for proof assistants - pre-release +--text follows this line-- + +Proof General is a generic Emacs interface for proof assistants. It is +supplied ready-customised for the systems + + Coq, Isabelle and Lego + +The code is designed to be generic, so you can adapt Proof General to +other proof assistants if you know a little bit of Emacs Lisp. It +supports script management, font lock, tags, function menu, multiple +files and remote proof assistants. + +Proof General and its instantiations were written by David Aspinall, +Healfdene Goguen, Thomas Kleymann and Dilip Sequeira with help from +Yves Bertot and using ideas from Project CROAP. + +This is the first official pre-release and an ideal opportunity +for interested users to give us feedback at an early stage. Don't +forget to tell us which version you are testing. Improvements are +being made while you read this message... + +Further information and the sources are available from + + http://www.dcs.ed.ac.uk/home/proofgen/ + + +David Aspinall & Thomas Kleymann
\ No newline at end of file |