Menu ▾ ▴

Commit [r7848]  Maximize  Restore  History

1. Added a banner option --nofeedback to block printing yess's and no's before

returning to top level.
2. In banner.P, added set_banner_control/2.

kifer 2013-11-25

Browse code at this revision

Parent: [r7847]

Child: [r7849]

changed /trunk/XSB/docs/userman/manual1.pdf
changed /trunk/XSB/emu/flag_defs_xsb.h
changed /trunk/XSB/emu/init_xsb.c
changed /trunk/XSB/syslib/banner.P
changed /trunk/XSB/syslib/banner.xwam
changed /trunk/XSB/syslib/x_interp.P
changed /trunk/XSB/syslib/x_interp.xwam
/trunk/XSB/docs/userman/manual1.pdf
Binary file was changed.
/trunk/XSB/emu/flag_defs_xsb.h Diff Switch to side-by-side view
Loading...
/trunk/XSB/emu/init_xsb.c Diff Switch to side-by-side view
Loading...
/trunk/XSB/syslib/banner.P Diff Switch to side-by-side view
Loading...
/trunk/XSB/syslib/banner.xwam
Binary file was changed.
/trunk/XSB/syslib/x_interp.P Diff Switch to side-by-side view
Loading...
/trunk/XSB/syslib/x_interp.xwam
Binary file was changed.
MongoDB Logo MongoDB