aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorThomas Kleymann1998-05-16 15:03:58 +0000
committerThomas Kleymann1998-05-16 15:03:58 +0000
commitbf8538838044acabf31ad4233e1ce9d3702e781e (patch)
tree555d5b1fa1729abe1b4441673eebfb24cd599655
parent9c9157c6c8bc4726d33d777a942755da8fb931b4 (diff)
*** empty log message ***
-rw-r--r--todo3
1 files changed, 3 insertions, 0 deletions
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