From 6549a40f3ab0eefdcd827ed4449884239c0bf2b2 Mon Sep 17 00:00:00 2001
From: Thomas Kleymann <da+pg-tms@inf.ed.ac.uk>
Date: Tue, 3 Nov 1998 10:08:30 +0000
Subject: A* Fix display handling problems  (tms, all week)

Done. :-)
---
 etc/README | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'etc/README')

diff --git a/etc/README b/etc/README
index 2592516c..4662f711 100644
--- a/etc/README
+++ b/etc/README
@@ -10,3 +10,6 @@ lego		       Files for testing LEGO Proof General
 		       
 isa		       Files for testing Isabelle Proof General
 
+README                 this file
+
+example                test protocol for example proof script
\ No newline at end of file
-- 
cgit v1.2.3