[Xsb-commits] SF.net SVN: XSB commit:[8070] trunk/XSB

[<ki...@us...>]

Revision: 8070
          http://sourceforge.net/p/xsb/src/8070
Author:   kifer
Date:     2014-10-24 03:17:30 +0000 (Fri, 24 Oct 2014)
Log Message:
-----------
Commented out debugging code in io_builtins
Updated manual1.pdf and a bunch of xwams that were left unupdated from
before

Modified Paths:
--------------
    trunk/XSB/cmplib/cp_opt.xwam
    trunk/XSB/cmplib/cutcheck.xwam
    trunk/XSB/cmplib/parse.xwam
    trunk/XSB/cmplib/spec.xwam
    trunk/XSB/cmplib/suppltab.xwam
    trunk/XSB/cmplib/tabdef.xwam
    trunk/XSB/cmplib/tp_eval.xwam
    trunk/XSB/cmplib/tp_index.xwam
    trunk/XSB/cmplib/useinfer.xwam
    trunk/XSB/cmplib/varproc.xwam
    trunk/XSB/cmplib/writeasm.xwam
    trunk/XSB/docs/userman/manual1.pdf
    trunk/XSB/emu/io_builtins_xsb.c
    trunk/XSB/syslib/consult.xwam
    trunk/XSB/syslib/curr_sym.xwam
    trunk/XSB/syslib/dbclause.xwam
    trunk/XSB/syslib/debugger.xwam
    trunk/XSB/syslib/file_io.xwam
    trunk/XSB/syslib/increval.xwam
    trunk/XSB/syslib/num_vars.xwam
    trunk/XSB/syslib/setof.xwam
    trunk/XSB/syslib/standard.xwam
    trunk/XSB/syslib/string.xwam
    trunk/XSB/syslib/sub_atom.xwam
    trunk/XSB/syslib/xsb_read.xwam