diff options
author | 2000-03-09 10:52:38 +0000 | |
---|---|---|
committer | 2000-03-09 10:52:38 +0000 | |
commit | a843569e2ec070ff5193d0a203e1eebc338a4912 (patch) | |
tree | d4dbbe316fa6475428f5151439e1e046bae3a349 /README.devel | |
parent | 7e802737e2010ba47689db5b9feb27a966aa41a4 (diff) |
Standards for each instance.
Diffstat (limited to 'README.devel')
-rw-r--r-- | README.devel | 9 |
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 |