release_1 Log

Commit Date  
[664ff0] by mtnyogi

Fixed "import XYZ_plan" -- not found bug. All doctests working now.

2007-11-08 18:17:27 Tree
[f4f206] by mtnyogi

Proofreading, pass 1. Still need spell check and link check.

2007-11-07 18:44:07 Tree
[adcc3e] by mtnyogi

Need to commit before mv-ing file

2007-11-05 22:14:32 Tree
[fa6dae] by mtnyogi

Preparing to switch to Stephanie's documentation layout and colors.

2007-11-04 14:30:49 Tree
[cd2730] by mtnyogi

Got doc/syntax up to date. Some doc changes. A few small compiler syntax

2007-11-02 20:00:23 Tree
[565184] by mtnyogi

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

2007-10-31 03:01:57 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
[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 on for
generated foobar files. Still have dependency for plan functions, so the
import is still there (though it can be deleted for the,
where it causes trouble if left there).

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

Committing to save a copy of and 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
[55c3bd] by mtnyogi

Initial import.

2007-10-15 00:22:52 Tree