Commit [27ec57] default Maximize Restore History

1. Fixed a few small bugs in examples/notany test.py

2. Added test to engine.prove_n to raise TypeError if fixed_args is a string.
3. Fixed testpyke to not complain that compiler_bc.py hasn't been compiled
just because Krb_filename is different.
4. Fixed editing of paths in testexample and testTest scripts to remove ./
from path.

mtnyogi mtnyogi 2008-05-08

changed Test/testTest
changed pyke/knowledge_engine.py
changed pyke/testpyke
changed examples/notany/test.py
changed examples/testexamples
changed doc/source/using_pyke.txt
Test/testTest Diff Switch to side-by-side view
Loading...
pyke/knowledge_engine.py Diff Switch to side-by-side view
Loading...
pyke/testpyke Diff Switch to side-by-side view
Loading...
examples/notany/test.py Diff Switch to side-by-side view
Loading...
examples/testexamples Diff Switch to side-by-side view
Loading...
doc/source/using_pyke.txt Diff Switch to side-by-side view
Loading...