Menu ▾ ▴

Commit [r966]  Maximize  Restore  History

made hide_this_hide, hide_this_show, show_this_hide user configurable.

There is now a hook to display debugger goals.

kifer 1999-07-02

Browse code at this revision

Parent: [r965]

Child: [r967]

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