CVS log for 2000/10/swap/test/includes/builtins.n3

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

Request diff between arbitrary revisions

Default branch: 1

Revision 1.3 / (download) - annotate - [select for diffs] , Wed Jan 25 21:17:03 2006 UTC (2 years, 7 months ago) by syosi
CVS Tags: rel-1-2-0, pfreport, paw-demo-m1, HEAD
Changes since 1.2: +2 -0 lines
Diff to previous 1.2 (colored)

more work in includes

Revision 1.2 / (download) - annotate - [select for diffs] , Mon Aug 22 21:12:54 2005 UTC (3 years ago) by timbl
CVS Tags: rel-1-1-0rc2
Changes since 1.1: +23 -2 lines
Diff to previous 1.1 (colored)

Revive --why proof generation and check.py. Recode unification a bit

Revision 1.1 / (download) - annotate - [select for diffs] , Wed Aug 3 18:02:57 2005 UTC (3 years, 1 month ago) by syosi
CVS Tags: rel-1-1-0rc1
Diff

improved builtins and inclusions

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