XSB Src (SVN)-old

Brought to you by: carlandersen, dwarren, evansbj, kifer, and 3 others

Commit [r7978] Maximize Restore History

fixed a buglet in parser/auxilry that created the following problem:

compile(foobar,[xpp_on])
executed twice in the same xsb session would fail the second time.
Added a test for the above.
Also updated a lot of xwam files that weren't recompiled for some reason.

Authored by: kifer 2014-06-15

Browse code at this revision

Parent: [r7977]

Child: [r7979]

1 2 > >> (Page 1 of 2)

changed	/trunk/XSB/build/MSVC.dep
changed	/trunk/XSB/cmplib/asm.xwam
changed	/trunk/XSB/cmplib/auxlry.H
changed	/trunk/XSB/cmplib/auxlry.P
changed	/trunk/XSB/cmplib/auxlry.xwam
changed	/trunk/XSB/cmplib/compile.xwam
changed	/trunk/XSB/cmplib/cp_opt.xwam
changed	/trunk/XSB/cmplib/cutcheck.xwam
changed	/trunk/XSB/cmplib/parse.H
changed	/trunk/XSB/cmplib/parse.P
changed	/trunk/XSB/cmplib/parse.xwam
changed	/trunk/XSB/cmplib/spec.xwam
changed	/trunk/XSB/cmplib/suppltab.xwam
changed	/trunk/XSB/cmplib/tabdef.xwam
changed	/trunk/XSB/cmplib/tp_eval.xwam
changed	/trunk/XSB/cmplib/tp_index.xwam
changed	/trunk/XSB/cmplib/useinfer.xwam
changed	/trunk/XSB/cmplib/varproc.xwam
changed	/trunk/XSB/cmplib/writeasm.xwam
changed	/trunk/XSB/docs/userman/manual1.pdf
changed	/trunk/XSB/docs/userman/manual2.pdf
changed	/trunk/XSB/docs/userman/xsb_dbi.tex
changed	/trunk/XSB/syslib/consult.xwam
changed	/trunk/XSB/syslib/curr_sym.xwam
changed	/trunk/XSB/syslib/dbclause.xwam