Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo


Diff of /doc/todo [950987] .. [2bb500] Maximize Restore

  Switch to side-by-side view

--- a/doc/todo
+++ b/doc/todo
@@ -1,5 +1,3 @@
-- 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