Menu ▾ ▴

Commit [r7921]  Maximize  Restore  History

fixed bug with clauses of the form H:1.0:-....

rzf 2014-03-04

Browse code at this revision

Parent: [r7920]

Child: [r7922]

changed /trunk/XSB/packages/pita/pita_int.P.in
/trunk/XSB/packages/pita/pita_int.P.in Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB