From cf0e28eb1d0148fff53ad79d817e9330ddfe529e Mon Sep 17 00:00:00 2001
From: Dilip Sequiera
Date: Tue, 18 Nov 1997 19:24:57 +0000
Subject: Added indentation for lego-mode.

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

(limited to 'todo')

diff --git a/todo b/todo
index 4d1a73b1..590c1c73 100644
--- a/todo
+++ b/todo
@@ -18,7 +18,7 @@ This is a list of things which need doing to the lego mode.
   require some work.
 
 * Indentation - LEGO should indent only with brackets; Coq for Inductive
-  definitions and 'case' constructs also.
+  definitions and 'case' constructs also. LEGO NOW DONE.
 
 * file handling could be more robust
 
-- 
cgit v1.2.3