| changed | /trunk/XSB/cmplib/tp_eval.xwam |
| changed | /trunk/XSB/cmplib/tpinline.xwam |
| changed | /trunk/XSB/emu/builtin.c |
| changed | /trunk/XSB/emu/builtin.h |
| changed | /trunk/XSB/syslib/eval.xwam |
| changed | /trunk/XSB/syslib/machine.H |
| changed | /trunk/XSB/syslib/machine.P |
| changed | /trunk/XSB/syslib/machine.xwam |
| changed | /trunk/XSB/syslib/standard.H |
| changed | /trunk/XSB/syslib/standard.P |
| changed | /trunk/XSB/syslib/standard.xwam |