XSB Src (SVN)-old

Added a couple of (int) casts to quiet my compiler.

Changes to support float width and specifier options in write_term.

Support for changing precision, width and specifier via write_term.

a better option for print_pterm_fun

Extended test to handling explicit throws.

Fixed default_ccall_error_handler to handle errors in non-standard form (e.g., explicit throws).

added print_pterm_fun, which is a function that is like print_pterm but returns a string. For use in the Python interface

added a path for when I have to create a distribution

added c2p_varnum to return an integer that identifies a variable; i.e. instances of same variable returns same integer.

in consult: one more case of cpu time
updated float tests affected by the change of the procesion to 1.15