Menu

Commit [r8494]  Maximize  Restore  History

added SIGINT ignoring capability to windows also.

kifer 2015-10-24

changed /trunk/XSB/cmplib/parse.xwam
changed /trunk/XSB/emu/system_xsb.c
changed /trunk/XSB/syslib/consult.xwam
changed /trunk/XSB/syslib/file_op.xwam
/trunk/XSB/cmplib/parse.xwam
Binary file was changed.
/trunk/XSB/emu/system_xsb.c Diff Switch to side-by-side view
Loading...
/trunk/XSB/syslib/consult.xwam
Binary file was changed.
/trunk/XSB/syslib/file_op.xwam
Binary file was changed.
MongoDB Logo MongoDB