From 2d65eb01d11d1034db298c94da2dc9a878dcbcb4 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 9 Mar 2000 07:48:01 +0000
Subject: Added README files for each prover, summarizing status.

---
 generic/README | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 generic/README

(limited to 'generic')

diff --git a/generic/README b/generic/README
new file mode 100644
index 00000000..828d76e5
--- /dev/null
+++ b/generic/README
@@ -0,0 +1,12 @@
+Proof General
+
+$Id$
+
+The code in this directory implements the generic basis 
+of Proof General.
+
+It was written by Thomas Kleymann, Dilip Sequeira, Heafldene Goguen,
+and David Aspinall.
+
+Several other people helped with contributions and modifications, see
+individual credits in the code or summary in the Proof General manual.
-- 
cgit v1.2.3