From ff9f6b02e01fefc8b22957ae4bb1d0f3e8569f6d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 2 Oct 1998 14:19:13 +0000
Subject: Top-level README for distribution.

---
 README | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 README

diff --git a/README b/README
new file mode 100644
index 00000000..e4b00ac4
--- /dev/null
+++ b/README
@@ -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.
+		
+
-- 
cgit v1.2.3