Menu ▾ ▴

Commit [r9721]  Maximize  Restore  History

Rename private xwam if command throws an error on load; add a cut to a first efficiency clause in subsumes/2.

dwarren 2019-11-19

Browse code at this revision

Parent: [r9720]

Child: [r9722]

changed /trunk/XSB/syslib/loader.D
changed /trunk/XSB/syslib/loader.P
changed /trunk/XSB/syslib/loader.xwam
changed /trunk/XSB/syslib/subsumes.P
changed /trunk/XSB/syslib/subsumes.xwam
/trunk/XSB/syslib/loader.D Diff Switch to side-by-side view
Loading...
/trunk/XSB/syslib/loader.P Diff Switch to side-by-side view
Loading...
/trunk/XSB/syslib/loader.xwam
Binary file was changed.
/trunk/XSB/syslib/subsumes.P Diff Switch to side-by-side view
Loading...
/trunk/XSB/syslib/subsumes.xwam
Binary file was changed.
MongoDB Logo MongoDB