CVS log for 2000/10/swap/LX/firstOrderLogic.py
![[BACK]](/icons/back.gif)
Up to [Public] / 2000 / 10 / swap / LX
Request diff between arbitrary revisions
Default branch: 1
Revision 1.2 / (download) - annotate - [select for diffs]
, Wed Oct 2 23:32:20 2002 UTC (5 years, 9 months 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,
fast_for_dom,
branch-0-7-3-auto-regfilelist,
HEAD
Changes since 1.1: +127 -27
lines
Diff to previous 1.1
(colored)
not sure
Revision 1.1 / (download) - annotate - [select for diffs]
, Mon Sep 2 20:10:44 2002 UTC (5 years, 10 months ago) by sandro
Diff
factored FOL code out of expr.py (and into firstOrderLogic.py), to try to keep it simple enough. Lost propositions, doctests.
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