From 2e0157f0511e3af7ea0fe114bea1bf62af3439ba Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 3 Sep 2001 12:18:14 +0000
Subject: Rearrange

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

diff --git a/demoisa/README b/demoisa/README
index 73770903..d478bcaf 100644
--- a/demoisa/README
+++ b/demoisa/README
@@ -2,8 +2,6 @@ Example Proof General instance for Isabelle
 
 Written by David Aspinall.
 
-$Id$
-
 Status:	supported as a demonstration only
 
 ========================================
@@ -51,5 +49,7 @@ See demoisa.el and demoisa-easy.el for more details.
 
 
 
+========================================
 
+$Id$
 
-- 
cgit v1.2.3