Menu

Commit [r2]  Maximize  Restore  History

merged the flora portion

"kifer" 2020-12-31

<< < 1 .. 31 32 33 34 35 .. 84 > >> (Page 33 of 84)
added /trunk/flora2-testsuite/defeasible/old_gclp/defeasible_bug_test_load.flr
added /trunk/flora2-testsuite/defeasible/old_gclp/defeasible_bug_test_load_old
added /trunk/flora2-testsuite/defeasible/old_gclp/defeasible_bug_test_old
added /trunk/flora2-testsuite/defeasible/old_gclp/defeasible_load.flr
added /trunk/flora2-testsuite/defeasible/old_gclp/defeasible_load_old
added /trunk/flora2-testsuite/defeasible/old_gclp/defeasible_old
added /trunk/flora2-testsuite/defeasible/old_gclp/maxcard1.flr
added /trunk/flora2-testsuite/defeasible/old_gclp/maxcard1_old
added /trunk/flora2-testsuite/defeasible/old_gclp/maxcard2.flr
added /trunk/flora2-testsuite/defeasible/old_gclp/maxcard2_old
added /trunk/flora2-testsuite/defeasible/old_gclp/paul_defeasible.flr
added /trunk/flora2-testsuite/defeasible/old_gclp/paul_defeasible2.flr
added /trunk/flora2-testsuite/defeasible/old_gclp/paul_defeasible2_load.flr
added /trunk/flora2-testsuite/defeasible/old_gclp/paul_defeasible2_load_old
added /trunk/flora2-testsuite/defeasible/old_gclp/paul_defeasible2_old
added /trunk/flora2-testsuite/defeasible/old_gclp/paul_defeasible_load.flr
added /trunk/flora2-testsuite/defeasible/old_gclp/paul_defeasible_load_old
added /trunk/flora2-testsuite/defeasible/old_gclp/paul_defeasible_old
added /trunk/flora2-testsuite/defeasible/old_gclp/strict.flr
added /trunk/flora2-testsuite/defeasible/old_gclp/strict_old
added /trunk/flora2-testsuite/defeasible/old_gclp/temp_paradox1.flr
added /trunk/flora2-testsuite/defeasible/old_gclp/temp_paradox1_load.flr
added /trunk/flora2-testsuite/defeasible/old_gclp/temp_paradox1_load_old
added /trunk/flora2-testsuite/defeasible/old_gclp/temp_paradox1_old
added /trunk/flora2-testsuite/defeasible/old_gclp/temp_paradox2.flr
/trunk/flora2-testsuite/defeasible/old_gclp/defeasible_bug_test_load.flr Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/old_gclp/defeasible_bug_test_load_old Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/old_gclp/defeasible_bug_test_old Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/old_gclp/defeasible_load.flr Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/old_gclp/defeasible_load_old Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/old_gclp/defeasible_old Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/old_gclp/maxcard1.flr Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/old_gclp/maxcard1_old Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/old_gclp/maxcard2.flr Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/old_gclp/maxcard2_old Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/old_gclp/paul_defeasible.flr Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/old_gclp/paul_defeasible2.flr Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/old_gclp/paul_defeasible2_load.flr Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/old_gclp/paul_defeasible2_load_old Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/old_gclp/paul_defeasible2_old Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/old_gclp/paul_defeasible_load.flr Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/old_gclp/paul_defeasible_load_old Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/old_gclp/paul_defeasible_old Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/old_gclp/strict.flr Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/old_gclp/strict_old Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/old_gclp/temp_paradox1.flr Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/old_gclp/temp_paradox1_load.flr Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/old_gclp/temp_paradox1_load_old Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/old_gclp/temp_paradox1_old Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/old_gclp/temp_paradox2.flr Diff Switch to side-by-side view
Loading...
<< < 1 .. 31 32 33 34 35 .. 84 > >> (Page 33 of 84)