XSB Src (SVN)-old

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.

Changed how comment was done to quiet gcc compiler warning.

* Fixed several introspection routines so that they expand heap correctly when using load_solution_trie and friends
* Eliminated some more dead code from incremental tabling routines.
* Upped the default heap/local stack size and margin by 4 for sequential only. This hadnt been done in quite a while, so it is time.
Could probably bump it up even more.