Commit [r7984]  Maximize  Restore  History

A number of documentation changes, mostly suggested by Ulrich Neumerkel,

having mostly to do with ISO issues.

dwarren 2014-07-01

changed /trunk/XSB/docs/userman/builtin.tex
changed /trunk/XSB/docs/userman/comparison.tex
changed /trunk/XSB/docs/userman/dcg.tex
changed /trunk/XSB/docs/userman/exceptions.tex
changed /trunk/XSB/docs/userman/incr_tabling.tex
changed /trunk/XSB/docs/userman/manual1.pdf
changed /trunk/XSB/docs/userman/manual1.tex
changed /trunk/XSB/docs/userman/manual2.pdf
changed /trunk/XSB/docs/userman/rbltin.tex
changed /trunk/XSB/docs/userman/state.tex
changed /trunk/XSB/docs/userman/system.tex
changed /trunk/XSB/docs/userman/tables.tex
/trunk/XSB/docs/userman/builtin.tex Diff Switch to side-by-side view
Loading...
/trunk/XSB/docs/userman/comparison.tex Diff Switch to side-by-side view
Loading...
/trunk/XSB/docs/userman/dcg.tex Diff Switch to side-by-side view
Loading...
/trunk/XSB/docs/userman/exceptions.tex Diff Switch to side-by-side view
Loading...
/trunk/XSB/docs/userman/incr_tabling.tex Diff Switch to side-by-side view
Loading...
/trunk/XSB/docs/userman/manual1.pdf
Binary file was changed.
/trunk/XSB/docs/userman/manual1.tex Diff Switch to side-by-side view
Loading...
/trunk/XSB/docs/userman/manual2.pdf
Binary file was changed.
/trunk/XSB/docs/userman/rbltin.tex Diff Switch to side-by-side view
Loading...
/trunk/XSB/docs/userman/state.tex Diff Switch to side-by-side view
Loading...
/trunk/XSB/docs/userman/system.tex Diff Switch to side-by-side view
Loading...
/trunk/XSB/docs/userman/tables.tex Diff Switch to side-by-side view
Loading...