From 796d3e6730dc76a21ddf1fe179f8cfc64eecf3c4 Mon Sep 17 00:00:00 2001
From: Healfdene Goguen
Date: Fri, 15 May 1998 16:28:32 +0000
Subject: Added problem with indentation.

---
 todo | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/todo b/todo
index 62b5d315..a00c31b0 100644
--- a/todo
+++ b/todo
@@ -28,6 +28,14 @@ A Implement more generic mechanism for large undos (2h)
 B Implement proof-find-previous-terminator and bind it to C-c C-a
   (45min tms)
 
+B Find out why a <tab> that doesn't appear to modify the buffer 
+  sets the modify flag in the mode-line.
+	(for example, with:
+		Inductive X : Set :=
+		    x_i : X.
+	 in Coq).
+  (20min hhg)
+
 B Technical documentation to record expertise and allow users of other
   proof systems to adopt generic package (40h hhg & tms)
 
-- 
cgit v1.2.3