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.

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

(limited to 'plastic/README')

diff --git a/plastic/README b/plastic/README
index b96cd172..729b7530 100644
--- a/plastic/README
+++ b/plastic/README
@@ -2,11 +2,12 @@ Plastic Proof General
 
 Written by Paul Callaghan
 
-$Id$
-
 Status:		  under development together with Plastic
 Maintainer:	  Paul Callaghan
 Plastic version:  ??
 Plastic homepage: http://www.dur.ac.uk/CARG/plastic.html
 
 ========================================
+
+$Id$
+
-- 
cgit v1.2.3