release_1 Log

Commit Date  
[cb53b1] by mtnyogi

Fixed bug #2913426: KFB Breaks Without Trailing Newline (real fix)

Also fixed the same problem for .krb files.

./testpyke works except for doc/source/using_pyke.txt

2010-03-03 16:25:51 Tree
[f38638] by mtnyogi

New engine constructor arguments.

Tests converted. ./testpyke passes except for doc/source/using_pyke.txt
python 2.5 and 2.6.

Still need to rewrite using_pyke.txt documentation page.

2010-03-03 01:33:33 Tree
[a04e54] by mtnyogi

Refactored target_pkg.

Moved initialization logic from to

./testpyke works.

2010-03-02 19:30:43 Tree
[547ecc] by mtnyogi

Added logic for __file__ to engine().

But haven't converted examples yet.

./testpyke passes for this version.

2010-03-01 23:51:29 Tree
[d1e36e] by mtnyogi

Added ValueError for illegal path arguments to engine().

2010-03-01 23:38:37 Tree
[f16399] by mtnyogi

Took out %var syntax from goal.compile.

Also fixed a slight reporting bug in the top-level testpyke script.

2010-02-25 18:43:40 Tree
[9c0a10] by mtnyogi

Added prove_1 to goal.prover.

2010-02-25 16:29:05 Tree
[41e00e] by mtnyogi

All examples have been converted to new call syntax.

./testpyke works.

Next is the documentation...

2010-02-24 23:24:32 Tree
[90ba04] by mtnyogi

Now have engine.prove_goal too.

./testpyke works, but only family_relations has been converted so far...

2010-02-24 21:41:49 Tree
[8a3e84] by mtnyogi

Got first test for goal.compile working!

2010-02-24 19:48:07 Tree
[37a32b] by mtnyogi

Fixed bug #2913426: KFB Breaks Without Trailing Newline

2009-12-18 14:32:26 Tree
[1f0b87] by mtnyogi

Added .py suffix to all testall/testdoc references.

To support the use of doctest_tools release 1.0a2

There are a few changes to the HTML documentation too.

2009-11-09 16:53:13 Tree
[cefdf5] by mtnyogi

Final few changes to doc/cheatsheets/making_a_release...

2009-11-04 23:02:57 Tree
[c43bfb] by mtnyogi

Added tag 1.0.4 for changeset 9ac085d7efe8

2009-11-04 21:58:08 Tree
[9ac085] (1.0.4) by mtnyogi

Regenerated HTML documentation for 1.0.4

2009-11-04 21:50:07 Tree
[95676f] by mtnyogi

Release documentation for 1.0.4

2009-11-04 21:49:54 Tree
[30825d] by mtnyogi

Another fix to make_release

2009-11-04 21:05:11 Tree
[9b4890] by mtnyogi

Cleaning up make_release script

2009-11-04 20:30:20 Tree
[c72c22] by mtnyogi

Added initial ./testpyke to make_release.

2009-11-04 18:50:13 Tree
[444c5c] by mtnyogi

Updated doc/cheatsheets/making_a_release

2009-11-04 16:44:45 Tree
[7931ab] by mtnyogi

Release documentation for 1.0.4

Also added make_release, and reverted make_doc_zip to make_doc_tarball.

2009-11-04 16:40:01 Tree
[bd3505] by mtnyogi

Renamed all README files to README.txt

Also did some fix up to doc/source/about_pyke/modifying_pyke.txt.

Passes ./testpyke, link checks and spell checks on documentation.

2009-11-03 16:37:50 Tree
[27c31b] by mtnyogi

doc/sources are done!

Ran link and spell checks.

Need to run bin/gen_html one more time...

2009-11-03 13:57:44 Tree
[90e3d4] by mtnyogi

More cleanup. Recovered doc/source/bin/

2009-11-03 00:40:00 Tree
[f00035] by mtnyogi

First cut at updating the documentation.

This should be getting close! But still needs testing and spit and polish.

2009-11-02 23:50:40 Tree
Older >