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


release_1 Log

Commit Date  
[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/get_links.py

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
[73803c] by mtnyogi

Numerous changes preparing for new installation packaging.

Combined RELEASE_NOTES for all pre 1.0 and post 1.0 releases into two
different RELEASE_NOTES files.

Removed dependancy on setuptools (easy_install) from setup.py.

Changed make_doc_tarball to make_doc_zip.

Removed make_examples_tarball.

Numerous changes to documentation. More needed!

2009-11-02 19:34:21 Tree
[132ab2] by mtnyogi

Added python version option to testall

2009-10-28 18:18:15 Tree
[b14ef5] by mtnyogi

Fixed CanNotProve2.tst to no longer use setup.py.

This didn't work on python3.1 ...

2009-10-28 15:55:43 Tree
Older >