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


pre_2to3 Log

Commit Date  
[d79e3e] by mtnyogi

Deleted generated example .py files from svn

2007-10-31 03:03:50 Tree
[565184] by mtnyogi

Intermediate checkpoint on documentation. Also fixed a few bugs in pyke.

2007-10-31 03:01:57 Tree
[879ae0] by mtnyogi

Added initial outline structure for rest2web generated documentation.

2007-10-18 17:45:03 Tree
[0f2293] by mtnyogi

Added 'fc_extras', 'bc_extras' and 'plan_extras' so that extra python code
(for example 'import' statements or python function definitions) can be added
to the three generated python files.

2007-10-17 20:39:28 Tree
[9c6ab0] by mtnyogi

Changed subdirectory names under doc

2007-10-17 17:43:45 Tree
[1c69a7] by mtnyogi

Changed special.cut to special.claim_goal.

2007-10-17 00:47:44 Tree
[91d91c] by mtnyogi

Implemented load function.

2007-10-17 00:39:33 Tree
[a12f24] by mtnyogi

The compiler now generates three files, rather than just two.

2007-10-16 22:06:44 Tree
[447832] by mtnyogi

Put try/finally in generated inference functions to catch special.cut() and
fail cases.

Also added prove_1 and changed compiler to use it.

Finally, changed example.family_relations.test to use prove_n rather than
calling prove directly.

2007-10-16 20:43:56 Tree
[9ad371] by mtnyogi

Removed This_rule_base dependency from foobar_bc.py on foobar.py for
generated foobar files. Still have dependency for plan functions, so the
import is still there (though it can be deleted for the compiler_bc.py,
where it causes trouble if left there).

2007-10-16 01:21:50 Tree
[efa262] by mtnyogi

Committing to save a copy of compiler.py and compiler_bc.py before testing
compiler changes (so I don't loose them)... This code is not tested yet!

2007-10-16 00:49:02 Tree
[869429] by mtnyogi

Got compiler functions grouped into compiler package. Also got top level
knowledge engine functions grouped into pyke package (except for load

2007-10-16 00:26:54 Tree
[7996a8] by mtnyogi

Changed 'using' -> 'taking' in syntax.

2007-10-15 21:55:10 Tree
[14453f] by mtnyogi

Changed 'proven' -> 'use' and 'doing' -> 'with'. Also added python coding
declarations to .py files. Still need to change 'using' clause...

2007-10-15 21:28:55 Tree
[a45ab1] by mtnyogi

Added copyright notices to source files.

2007-10-15 20:22:35 Tree
[9cc939] by mtnyogi

Added svn:keywords properties. Some work on docs...

2007-10-15 20:18:26 Tree
[55c3bd] by mtnyogi

Initial import.

2007-10-15 00:22:52 Tree