From a843569e2ec070ff5193d0a203e1eebc338a4912 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 9 Mar 2000 10:52:38 +0000
Subject: Standards for each instance.

---
 README.devel | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

diff --git a/README.devel b/README.devel
index 96a884d8..ec3d1d24 100644
--- a/README.devel
+++ b/README.devel
@@ -35,10 +35,15 @@ When writing your modes, please follow the Emacs Lisp Conventions
 See the Emacs Lisp reference manual, node Style Tips.
 
 
+** Standards for each instance of PG
+
+We include a README file and low-level todo file for each prover.
+
+
 ** Using custom library
 
-Please use custom library for all variable declarations, apart from
-very low-level variables.  Follow the customize group conventions
+Please use the custom library for all variable declarations, apart
+from very low-level variables.  Follow the customize group conventions
 laid out in generic/proof-config.el
 
 
-- 
cgit v1.2.3