Menu ▾ ▴

Commit [r9205]  Maximize  Restore  History

Changes to use subgoal_property

tswift 2018-01-26

changed /trunk/xsbtests/nonmt_tests/test_introspection.P
changed /trunk/xsbtests/nonmt_tests/test_introspection_old
/trunk/xsbtests/nonmt_tests/test_introspection.P Diff Switch to side-by-side view
Loading...
/trunk/xsbtests/nonmt_tests/test_introspection_old Diff Switch to side-by-side view
Loading...