Proof General --- Organize your proof with Emacs!
=================================================

Proof General is a generic Emacs interface for proof assistants.

Our aim is provide a powerful and configurable Emacs mode which helps
user-interaction with interactive proof assistants.

Please help us with this aim!  Configure Proof General for your proof
assistant, by adding features at the generic level wherever possible.
Send ideas, comments, patches, code to proofgen@dcs.ed.ac.uk.

See INSTALL for installation details.

See COPYING for license details.

See doc/ for documentation of Proof General.

For the latest news and downloads, check the Proof General web page
at: http://www.dcs.ed.ac.uk/home/proofgen


David Aspinall.
November 1999.

NEWSFLASH:

Temporarily, all Proof General pages are hosted on the server
zermelo.dcs.ed.ac.uk, so replace "www" by "zermelo" in all
URLs mentioned in the sources and documentation.