CVS log for 2000/10/swap/surnia/otter/owlAx-oneOf.otter
![[BACK]](/icons/back.gif)
Up to [Public] / 2000 / 10 / swap / surnia / otter
Request diff between arbitrary revisions
Default branch: 1
Revision 1.2 / (download) - annotate - [select for diffs]
, Fri Aug 1 04:24: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,
oldLists,
branch-0-7-3-auto-regfilelist,
HEAD
Changes since 1.1: +2 -2
lines
Diff to previous 1.1
(colored)
intermediate; about to play with paramodulation
Revision 1.1 / (download) - annotate - [select for diffs]
, Thu Jul 31 04:35:07 2003 UTC (5 years, 1 month ago) by sandro
Diff
Added a way for certain tests to use subset of the full set of
axioms; I'm starting to hit a wall where adding the details needed
to pass one test makes the others become too slow. Sometimes we
can subset the axioms to make a test pass quickly, but that wont
work for sufficiently complex expressions, will it? Still, maybe
we can partition same/different from union/intersection from property
logic, ...
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