Menu ▾ ▴

Commit [r2127]  Maximize  Restore  History

Change added to delete_return so that negation-failure simplification
is properly performed.

tswift 2000-12-13

Browse code at this revision

Parent: [r2126]

Child: [r2128]

changed /trunk/XSB/emu/tr_utils.c
/trunk/XSB/emu/tr_utils.c Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB