diff options
| author | Thomas Kleymann | 1998-05-16 15:03:58 +0000 |
|---|---|---|
| committer | Thomas Kleymann | 1998-05-16 15:03:58 +0000 |
| commit | bf8538838044acabf31ad4233e1ce9d3702e781e (patch) | |
| tree | 555d5b1fa1729abe1b4441673eebfb24cd599655 | |
| parent | 9c9157c6c8bc4726d33d777a942755da8fb931b4 (diff) | |
*** empty log message ***
| -rw-r--r-- | todo | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -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 |
