From 73358744b37293cea04fcf0c29a127aba7d654f2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 9 May 2000 16:13:23 +0000
Subject: Updated

---
 README.devel | 15 ++++++++++++---
 1 file changed, 12 insertions(+), 3 deletions(-)

diff --git a/README.devel b/README.devel
index 58c44509..1f280c8d 100644
--- a/README.devel
+++ b/README.devel
@@ -35,6 +35,8 @@ 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.
@@ -54,11 +56,13 @@ maintaining compatibility across different versions of Emacs.
 
 XEmacs is the primary development (and use) platform, but we'd like to
 maintain compatibility with FSF Emacs, and the Japanicised versions of
-that.
+that.  The development policy is for the main codebase to be written
+for the latest stable version of XEmacs.  We follow XEmacs advice on
+removing obsolete function calls.
 
 Hopefully one day we may have a proper test suite and mechanism to
-test across different versions of Emacs.  For the time being, be care
-of the following tips (gathered from experience).
+test across different versions of Emacs.  For the time being, be
+careful of the following tips (gathered from experience).
 
 *** Common Lisp macros  -- Japan Emacsen have older versions
 
@@ -71,3 +75,8 @@ of the following tips (gathered from experience).
 *** Moving to new branch.
 
    find * -path '*/CVS' -prune -o -path 'CVS' -prune -o -print | xargs cvs commit -m"Updating branch" -f -r 4.0         
+
+
+*** Making a new branch.
+ 
+   See etc/cvs-tips.txt
-- 
cgit v1.2.3