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.

---
 acl2/README | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'acl2')

diff --git a/acl2/README b/acl2/README
index 1160bd91..fbe93440 100644
--- a/acl2/README
+++ b/acl2/README
@@ -2,8 +2,6 @@ ACL2 Proof General, for ACL2.
 
 Written by David Aspinall.
 
-$Id$
-
 Status:	       alpha; unsupported
 Maintainer:    volunteer required
 ACL2 version:  Tested briefly with acl2.5
@@ -20,3 +18,5 @@ instantiation of Proof General.
 
 
 
+$Id$
+
-- 
cgit v1.2.3