diff options
| -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 |