diff options
| -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 |