Menu ▾ ▴

Commit [r8985]  Maximize  Restore  History

Mostly updated information about statistics/0, which had gotten out of date.

tswift 2017-03-14

Browse code at this revision

Parent: [r8984]

Child: [r8986]

changed /trunk/XSB/docs/userman/manual1.pdf
changed /trunk/XSB/docs/userman/manual1.tex
changed /trunk/XSB/docs/userman/state.tex
changed /trunk/XSB/docs/userman/system.tex
/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/state.tex Diff Switch to side-by-side view
Loading...
/trunk/XSB/docs/userman/system.tex Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB