diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-10-02 14:19:13 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-02 14:19:13 +0000 |
| commit | ff9f6b02e01fefc8b22957ae4bb1d0f3e8569f6d (patch) | |
| tree | 7b5661b3fe6e3a0cf15fae35f4be70a353a59a61 /README | |
| parent | a47f1bf51c55ff8e22f7b75b16cd7a044f0f5a84 (diff) | |
Top-level README for distribution.
Diffstat (limited to 'README')
| -rw-r--r-- | README | 22 |
1 files changed, 22 insertions, 0 deletions
@@ -0,0 +1,22 @@ +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 doc/ for documentation of Proof General. + + +David Aspinall & Thomas Kleymann +October 1998. + + |