From d3e17ad5653ee8a47995ab13dcde72179abde440 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 28 May 2003 19:41:23 +0000
Subject: Updated.

---
 etc/cvs-tips.txt | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

(limited to 'etc')

diff --git a/etc/cvs-tips.txt b/etc/cvs-tips.txt
index a8b8fc7f..5566620d 100644
--- a/etc/cvs-tips.txt
+++ b/etc/cvs-tips.txt
@@ -15,10 +15,11 @@ dcs.ed.
 your passphrase as needed.  The point is that you don't want to
 keep typing passwords on every CVS command).
 
-2. The CVS repository for PG is in ~proofgen/src at dcs.ed.ac.uk To
-use this, you need to set CVSROOT and CVS_RSH.  I use the script below
-(the last line isn't essential but makes the settings inside a running
-emacs too)
+2. The CVS repository for PG is in ~proofgen/src at dcs.ed.ac.uk 
+
+To use this, you need to set CVSROOT and CVS_RSH.  I use the script
+below (the last line isn't essential but makes the settings inside a
+running emacs too)
 
 3. Where you want to develop PG, do:
 
-- 
cgit v1.2.3