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

Commit [r7802] Maximize Restore History

updated version number in manual.

Authored by: tswift 2013-09-11

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

Binary file was changed.