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

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

No, thanks