Menu ▾ ▴

Commit [r894]  Maximize  Restore  History

Fixed problems with reading command goal. Now you can have several

queries on the same command line.

kifer 1999-06-17

Browse code at this revision

Parent: [r893]

Child: [r895]

changed /trunk/XSB/syslib/x_interp.H
changed /trunk/XSB/syslib/x_interp.O
changed /trunk/XSB/syslib/x_interp.P
/trunk/XSB/syslib/x_interp.H Diff Switch to side-by-side view
Loading...
/trunk/XSB/syslib/x_interp.O
Binary file was changed.
/trunk/XSB/syslib/x_interp.P Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB