XSB / Src (SVN)-old / Commit [r8397]

Commit [r8397] Maximize Restore History

Added a couple of sentences about timed call and break levels.

Authored by: tswift 2015-06-22

changed	/trunk/XSB/docs/userman/builtin.tex
changed	/trunk/XSB/docs/userman/manual1.pdf

Binary file was changed.