CVS log for 2000/10/swap/test/reason/judy-proof.n3

Up to [Public] / 2000 / 10 / swap / test / reason

Request diff between arbitrary revisions

Default branch: 1

Revision 1.2 / (download) - annotate - [select for diffs] , Wed Nov 2 00:06:26 2005 UTC (3 years, 1 month ago) by timbl
CVS Tags: rel-1-2-0, pfreport, paw-demo-m1, HEAD
Changes since 1.1: +4329 -5309 lines
Diff to previous 1.1 (colored)

grouping of statements by reason; Various bugs out, duplicate checking always in runLaborious. Passed regression.n3 and reason/details.tests

Revision 1.1 / (download) - annotate - [select for diffs] , Wed Oct 26 19:07:13 2005 UTC (3 years, 1 month ago) by timbl
Diff

ONLY FAST TESTS DONE.  check.py and why.py improved and unification improved.  Proof and check the judy example for PAW work

This form allows you to request diff's between any two revisions of a file. You may select a symbolic revision name using the selection box or you may type in a numeric name using the type-in text box.

Webmaster