diff options
| author | David Aspinall | 1998-10-02 13:15:34 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-02 13:15:34 +0000 |
| commit | 72123cbfd50b02e6f0520d83a76c14ab82febfd8 (patch) | |
| tree | 2cdba5e0d23b311ed207010c4332fcd169d01351 | |
| parent | bab76cf237c99bf1847c7b178621768735898b82 (diff) | |
Added isabelle-users, mentioned toolbar.
| -rw-r--r-- | etc/announce | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/etc/announce b/etc/announce index ff9e208f..c694ecdd 100644 --- a/etc/announce +++ b/etc/announce @@ -1,17 +1,17 @@ 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 +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 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 + 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. +supports script management, a toolbar, fontification, 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 |