XSB Src (SVN)-old

turning off table logging now works for predicates in modules.

Fixed bug in the prolog flag version_number which threw an exception if there was an empty patch level.

Fixed compliance of the de facto standard between/3 predicate.

Added paragraphs on ^ in answer subsumptive table declarations, and
mentioning use of non-variables in the subsumption position of calls
to partial-order answer subsumption predicates.

Fixed minor typo, just 'cause I saw it.

Removed old commented-out code, to avoid future confusion (I hope.)

just an update of the man pdfs and of the build date

Added case in incr_eval_builtin for PSC_SET_INTERN, which was missing.
This seems to work, but Terry should check to see if it's how he
intended it.

Improved end-of-file detection in cases of unicode, but still not perfect;
the unicode for 0xffffffff, if there is one, will be considered as eof.
At least it's better than all unicodes that look like negative numbers
indicating eof, which is how it was...

Changed po answer subsumption to allow nonvariable terms in the
aggregate position, and to treat the variables in that term as existential.
Pointed out by Vijay Saraswat.