From bf8538838044acabf31ad4233e1ce9d3702e781e Mon Sep 17 00:00:00 2001
From: Thomas Kleymann
Date: Sat, 16 May 1998 15:03:58 +0000
Subject: *** empty log message ***

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

diff --git a/todo b/todo
index a00c31b0..52ae7c72 100644
--- a/todo
+++ b/todo
@@ -68,6 +68,9 @@ C Outline-mode does not work due to read-only restrictions of
 * Here are things to be done to Lego mode
 =========================================
 
+A set up regular definitions to support definitions of the form
+  id == term (10min; tms)
+
 A fix Pbp implementation (10h; tms)
 
 A LEGO mode might incorporate changes to Coq mode menu, in particular
-- 
cgit v1.2.3