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.

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

(limited to 'twelf')

diff --git a/twelf/README b/twelf/README
index 704545c4..2d91f558 100644
--- a/twelf/README
+++ b/twelf/README
@@ -2,8 +2,6 @@ Twelf Proof General, for Twelf.
 
 Written by David Aspinall.
 
-$Id$
-
 Status:	        not officially supported yet
 Maintainer:     volunteer required
 Twelf version:  Twelf 1.2 (and later, I hope)
@@ -24,3 +22,6 @@ doesn't work properly with font lock.
 I have written this in the hope that somebody from the Twelf community
 will adopt it, maintain and improve it, and thus turn it into a proper
 instantiation of Proof General.
+
+$Id$
+
-- 
cgit v1.2.3