XSB Src (SVN)-old

Recompiled using recent compiler changes (to keep in synch).

auxlry -- compiler warnings now use warning from standard.P

parse: now recognizes use_module(library(lib)).

Updated warning so that it properly can handle compiler warnings.

Adding readme for shared benchmarks

Changed to scale to arbitrary cores.

changed to allow scalability to arbitrary number of cores.

Changed three warnings that use write(ln) to use warning.

Fixed bug in generating states.

Changed shared wf to scale to arbitrary # of cores.

Fixed buglet where not all widgets had same number of reachable states. This had thrown off the shared wf test.