From d1a8680dede2340ae53b558fa4ae5cfc1c4500ba Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Mon, 3 Sep 2001 10:40:31 +0000
Subject: Add specific install instrs, rearrange.

---
 phox/README | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'phox')

diff --git a/phox/README b/phox/README
index 9c955b84..06f20189 100644
--- a/phox/README
+++ b/phox/README
@@ -2,8 +2,6 @@ PhoX Proof General, for Phox.
 
 Written by Christophe Raffalli
 
-$Id$
-
 Status:	       supported
 Maintainer:    Christophe Raffalli <Christophe.Raffalli@univ-savoie.fr>
 PhoX version:  0.7
@@ -15,5 +13,5 @@ This mode has support for script management with PhoX, and some
 other features ported from PhoX's own Emacs mode.
 
 
-
+$Id$
 
-- 
cgit v1.2.3