Adding to todo

svn: r521
2005-08-01 15:41:51 +00:00 · 2005-08-01 15:41:51 +00:00 · a180ebce2e
commit a180ebce2e
parent 8cab293327
1 changed files with 6 additions and 1 deletions
--- a/collects/mztake/TODO.txt
+++ b/collects/mztake/TODO.txt
@ -1,3 +1,8 @@
+- Select what gets annotated
+- Update the documentation
+- Stack navigation from REPL
+- Automated tests
+- Trace by function name 
 
  #|:::::::::LOAD/ANNOTATOR BUGS:::::::::::
 * catch oops exception