Menu

Commit [r2]  Maximize  Restore  History

merged the flora portion

"kifer" 2020-12-31

<< < 1 .. 45 46 47 48 49 .. 84 > >> (Page 47 of 84)
added /trunk/flora2-testsuite/general_tests/lt2_old
added /trunk/flora2-testsuite/general_tests/lt3.flr
added /trunk/flora2-testsuite/general_tests/lt3_old
added /trunk/flora2-testsuite/general_tests/lt4.flr
added /trunk/flora2-testsuite/general_tests/lt4_flora_old
added /trunk/flora2-testsuite/general_tests/lt5.flr
added /trunk/flora2-testsuite/general_tests/lt5_flora_old
added /trunk/flora2-testsuite/general_tests/lt6.flr
added /trunk/flora2-testsuite/general_tests/lt6_flora_old
added /trunk/flora2-testsuite/general_tests/lt_flora_old
added /trunk/flora2-testsuite/general_tests/maxerr.flr
added /trunk/flora2-testsuite/general_tests/maxerr_data.flr
added /trunk/flora2-testsuite/general_tests/maxerr_flora_old
added /trunk/flora2-testsuite/general_tests/maxerr_inc.flr
added /trunk/flora2-testsuite/general_tests/meta_unification.flr
added /trunk/flora2-testsuite/general_tests/meta_unification_old
added /trunk/flora2-testsuite/general_tests/metaupdates.flr
added /trunk/flora2-testsuite/general_tests/metaupdates_old
added /trunk/flora2-testsuite/general_tests/metavar.flr
added /trunk/flora2-testsuite/general_tests/metavar2.flr
added /trunk/flora2-testsuite/general_tests/metavar2_old
added /trunk/flora2-testsuite/general_tests/metavar_old
added /trunk/flora2-testsuite/general_tests/miguel_test.flr
added /trunk/flora2-testsuite/general_tests/miguel_test_old
added /trunk/flora2-testsuite/general_tests/module_syntax.flr
/trunk/flora2-testsuite/general_tests/lt2_old Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/general_tests/lt3.flr Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/general_tests/lt3_old Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/general_tests/lt4.flr Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/general_tests/lt4_flora_old Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/general_tests/lt5.flr Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/general_tests/lt5_flora_old Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/general_tests/lt6.flr Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/general_tests/lt6_flora_old Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/general_tests/lt_flora_old Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/general_tests/maxerr.flr Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/general_tests/maxerr_data.flr Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/general_tests/maxerr_flora_old Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/general_tests/maxerr_inc.flr Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/general_tests/meta_unification.flr Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/general_tests/meta_unification_old Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/general_tests/metaupdates.flr Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/general_tests/metaupdates_old Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/general_tests/metavar.flr Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/general_tests/metavar2.flr Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/general_tests/metavar2_old Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/general_tests/metavar_old Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/general_tests/miguel_test.flr Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/general_tests/miguel_test_old Diff Switch to side-by-side view
Loading...
/trunk/flora2-testsuite/general_tests/module_syntax.flr Diff Switch to side-by-side view
Loading...
<< < 1 .. 45 46 47 48 49 .. 84 > >> (Page 47 of 84)