Diff of /doc/todo [97f053] .. [00a03b] Maximize Restore

  Switch to side-by-side view

--- a/doc/todo
+++ b/doc/todo
@@ -1,5 +1,6 @@
 - remove subdirectories from compiled_krb directory (since all knowledge bases
   must have mutually unique names anyway).
+- remove ':' option after rule names in .krb files.
 - add ability to use pattern variables for kb_name and fact_name in assertions
 - add error recovery to krbparser