improved help submenu for LEGO

  - added a link to the library and the reference card for version 1.3

1 files changed, 0 insertions, 2 deletions

diff --git a/todo b/todo
index 05ae2c3a..6600efc7 100644
--- a/todo
+++ b/todo
@@ -101,8 +101,6 @@ C pbp code doesn't quite accord with the tech report; in particular it
 
 A fix Pbp implementation (10h; tms)
 
-A Implement menu at generic level. (30min tms)
-
 A Sometimes e.g., ~tms/lego/imperative/recursion/Prepare_vc.l,
   annotations are recorded in the object file. This needs to be
   changed in the SML code. (initially 2h tms)