From 054b5f0c1a1efa4db883b82333604f78ab0fcb2a Mon Sep 17 00:00:00 2001
From: Thomas Kleymann
Date: Wed, 16 Dec 1998 17:07:15 +0000
Subject: further documentation of LEGO specific bug

---
 BUGS | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'BUGS')

diff --git a/BUGS b/BUGS
index 5585ca68..c3cce6ba 100644
--- a/BUGS
+++ b/BUGS
@@ -69,7 +69,7 @@ LEGO Proof General Bugs
 
 * If LEGO attempts to write a (object) file in a non-writable
   directory, it forgets the protocol mechanism on how to interact with 
-  Proof General and gets stuck. Workaround: directly enter "Configure
+  Proof General and gets stuck. Workaround: Directly enter "Configure
   AnnotateOn" in the Proof Shell to recover.
 
 * After a `Discharge', retraction ought to only be possible back to the
-- 
cgit v1.2.3