XSB Src (SVN)-old

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

Commit [r9359] Maximize Restore History

float_display_precision -> float_display_format

and moved write_term to syslib, where it should be.

Authored by: tswift 2018-06-13

Parent: [r9358]

changed	/trunk/XSB/lib/Makefile
removed	/trunk/XSB/lib/write_term.P

File was removed.