From d1a8680dede2340ae53b558fa4ae5cfc1c4500ba Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 3 Sep 2001 10:40:31 +0000
Subject: Add specific install instrs, rearrange.

---
 hol98/README | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

(limited to 'hol98')

diff --git a/hol98/README b/hol98/README
index 40d35fc3..e6c3b4b3 100644
--- a/hol98/README
+++ b/hol98/README
@@ -2,8 +2,6 @@ HOL Proof General, for HOL98.
 
 Written by David Aspinall.
 
-$Id$
-
 Status:	      not officially supported yet
 Maintainer:   volunteer required
 HOL version:  HOL98, tested with Taupo 2
@@ -50,3 +48,6 @@ These improvements would be worthwhile contributions to Proof General
 and also provide the HOL community with a nice front end.  
 Please have a go!
 
+
+$Id$
+
-- 
cgit v1.2.3