From c621a2ea58e24b04db91787e38a6842fe80a477b Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Wed, 14 Apr 2004 16:30:28 +0000
Subject: Updated.

---
 ccc/README | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'ccc')

diff --git a/ccc/README b/ccc/README
index e6dded44..88faf172 100644
--- a/ccc/README
+++ b/ccc/README
@@ -1,7 +1,9 @@
 Proof General for the Casl Consistency Checker
 
-Author: Christoph Lüth <cxl@informatik.uni-bremen.de>
+Author:	Christoph Lüth <cxl@informatik.uni-bremen.de>
        
+=================================================================
+
 This is a fairly straightforward instantiation of Proof General for
 the Casl Consistency Checker, CCC. 
 
-- 
cgit v1.2.3