Menu ▾ ▴

Commit [r9299]  Maximize  Restore  History

Fixed a couple of bugs in the SCC analysis of max_scc_subgoals_header.

tswift 2018-05-21

changed /trunk/XSB/syslib/tables.P
changed /trunk/XSB/syslib/tables.xwam
/trunk/XSB/syslib/tables.P Diff Switch to side-by-side view
Loading...
/trunk/XSB/syslib/tables.xwam
Binary file was changed.