Menu

Commit [r2]  Maximize  Restore  History

merged the flora portion

"kifer" 2020-12-31

<< < 1 .. 16 17 18 19 20 .. 84 > >> (Page 18 of 84)
added /trunk/flora2-testsuite/defeasible/atck1/temp_paradox1_load.flr
added /trunk/flora2-testsuite/defeasible/atck1/temp_paradox1_load_old
added /trunk/flora2-testsuite/defeasible/atck1/temp_paradox1_old
added /trunk/flora2-testsuite/defeasible/atck1/temp_paradox2.flr
added /trunk/flora2-testsuite/defeasible/atck1/temp_paradox2_load.flr
added /trunk/flora2-testsuite/defeasible/atck1/temp_paradox2_load_old
added /trunk/flora2-testsuite/defeasible/atck1/temp_paradox2_old
added /trunk/flora2-testsuite/defeasible/atck1/toxic.flr
added /trunk/flora2-testsuite/defeasible/atck1/toxic_old
added /trunk/flora2-testsuite/defeasible/atck1/tricky_tests.flr
added /trunk/flora2-testsuite/defeasible/atck1/tricky_tests_load.flr
added /trunk/flora2-testsuite/defeasible/atck1/tricky_tests_load_old
added /trunk/flora2-testsuite/defeasible/atck1/tricky_tests_old
added /trunk/flora2-testsuite/defeasible/atck1alt
added /trunk/flora2-testsuite/defeasible/atck1alt/actions.flr
added /trunk/flora2-testsuite/defeasible/atck1alt/actions_load.flr
added /trunk/flora2-testsuite/defeasible/atck1alt/actions_load_old
added /trunk/flora2-testsuite/defeasible/atck1alt/actions_old
added /trunk/flora2-testsuite/defeasible/atck1alt/cancel_test.flr
added /trunk/flora2-testsuite/defeasible/atck1alt/cancel_test_load.flr
added /trunk/flora2-testsuite/defeasible/atck1alt/cancel_test_load_old
added /trunk/flora2-testsuite/defeasible/atck1alt/cancel_test_old
added /trunk/flora2-testsuite/defeasible/atck1alt/credit_card.flr
added /trunk/flora2-testsuite/defeasible/atck1alt/credit_card_load.flr
added /trunk/flora2-testsuite/defeasible/atck1alt/credit_card_load_old
/trunk/flora2-testsuite/defeasible/atck1/temp_paradox1_load.flr Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/atck1/temp_paradox1_load_old Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/atck1/temp_paradox1_old Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/atck1/temp_paradox2.flr Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/atck1/temp_paradox2_load.flr Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/atck1/temp_paradox2_load_old Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/atck1/temp_paradox2_old Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/atck1/toxic.flr Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/atck1/toxic_old Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/atck1/tricky_tests.flr Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/atck1/tricky_tests_load.flr Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/atck1/tricky_tests_load_old Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/atck1/tricky_tests_old Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/atck1alt/actions.flr Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/atck1alt/actions_load.flr Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/atck1alt/actions_load_old Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/atck1alt/actions_old Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/atck1alt/cancel_test.flr Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/atck1alt/cancel_test_load.flr Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/atck1alt/cancel_test_load_old Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/atck1alt/cancel_test_old Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/atck1alt/credit_card.flr Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/atck1alt/credit_card_load.flr Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/defeasible/atck1alt/credit_card_load_old Diff Switch to side-by-side view
Loading...
<< < 1 .. 16 17 18 19 20 .. 84 > >> (Page 18 of 84)