Menu

Commit [r8352]  Maximize  Restore  History

fixed misc typos

kifer 2015-05-09

changed /trunk/XSB/docs/userman/builtin.tex
changed /trunk/XSB/docs/userman/intro.tex
changed /trunk/XSB/docs/userman/library.tex
changed /trunk/XSB/docs/userman/manual1.pdf
changed /trunk/XSB/docs/userman/manual2.pdf
/trunk/XSB/docs/userman/builtin.tex Diff Switch to side-by-side view
Loading...
/trunk/XSB/docs/userman/intro.tex Diff Switch to side-by-side view
Loading...
/trunk/XSB/docs/userman/library.tex Diff Switch to side-by-side view
Loading...
/trunk/XSB/docs/userman/manual1.pdf
Binary file was changed.
/trunk/XSB/docs/userman/manual2.pdf
Binary file was changed.
MongoDB Logo MongoDB