CVS log for 2000/10/swap/surnia/otter/owlAx-card.otter

Up to [Public] / 2000 / 10 / swap / surnia / otter

Request diff between arbitrary revisions

Default branch: 1

Revision 1.10 / (download) - annotate - [select for diffs] , Fri Aug 8 18:53:32 2003 UTC (5 years, 1 month ago) by sandro
CVS Tags: yosi-before-setup-py, runSmart, rel-1-2-0, rel-1-1-perf, rel-1-1-0rc2, rel-1-1-0rc1, rel-1-0-rc1, rel-1-0-0, rel-0-8-set, rel-0-8-0-perf, rel-0-8-0, rel-0-7-3, rel-0-7-2, rel-0-7-1, rel-0-7, pfreport, paw-demo-m1, branch-0-7-3-auto-regfilelist, HEAD
Changes since 1.9: +153 -121 lines
Diff to previous 1.9 (colored)

a cardinality test is working!

Revision 1.9 / (download) - annotate - [select for diffs] , Fri Aug 8 16:16:21 2003 UTC (5 years, 1 month ago) by sandro
Changes since 1.8: +131 -70 lines
Diff to previous 1.8 (colored)

getting closer...

Revision 1.8 / (download) - annotate - [select for diffs] , Fri Aug 8 15:01:37 2003 UTC (5 years, 1 month ago) by sandro
Changes since 1.7: +105 -42 lines
Diff to previous 1.7 (colored)

a failed experiment #3

Revision 1.7 / (download) - annotate - [select for diffs] , Fri Aug 8 15:01:28 2003 UTC (5 years, 1 month ago) by sandro
Changes since 1.6: +8 -242 lines
Diff to previous 1.6 (colored)

a failed experiment #2

Revision 1.6 / (download) - annotate - [select for diffs] , Fri Aug 8 15:01:17 2003 UTC (5 years, 1 month ago) by sandro
Changes since 1.5: +68 -11 lines
Diff to previous 1.5 (colored)

a failed experiment

Revision 1.5 / (download) - annotate - [select for diffs] , Fri Aug 8 15:00:15 2003 UTC (5 years, 1 month ago) by sandro
Changes since 1.4: +39 -1 lines
Diff to previous 1.4 (colored)

old change; unsure

Revision 1.4 / (download) - annotate - [select for diffs] , Fri Aug 1 16:27:35 2003 UTC (5 years, 1 month ago) by sandro
Changes since 1.3: +5 -2 lines
Diff to previous 1.3 (colored)

modified to run in swap/surnia instead of swap

Revision 1.3 / (download) - annotate - [select for diffs] , Fri Aug 1 04:24:32 2003 UTC (5 years, 1 month ago) by sandro
CVS Tags: oldLists
Changes since 1.2: +13 -1 lines
Diff to previous 1.2 (colored)

intermediate; about to play with paramodulation

Revision 1.2 / (download) - annotate - [select for diffs] , Thu Jul 31 21:45:56 2003 UTC (5 years, 1 month ago) by sandro
Changes since 1.1: +70 -42 lines
Diff to previous 1.1 (colored)

in progress, working on test 008, then back to 001.

Revision 1.1 / (download) - annotate - [select for diffs] , Thu Jul 31 20:56:30 2003 UTC (5 years, 1 month ago) by sandro
Diff

still in progress, but passing surnia-test-003

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