aboutsummaryrefslogtreecommitdiffhomepage
path: root/README.devel
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2000-03-09 10:52:38 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2000-03-09 10:52:38 +0000
commita843569e2ec070ff5193d0a203e1eebc338a4912 (patch)
treed4dbbe316fa6475428f5151439e1e046bae3a349 /README.devel
parent7e802737e2010ba47689db5b9feb27a966aa41a4 (diff)
Standards for each instance.
Diffstat (limited to 'README.devel')
-rw-r--r--README.devel9
1 files 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