| changed | /trunk/XSB/docs/userman/comparison.tex |
| changed | /trunk/XSB/docs/userman/dcg.tex |
| changed | /trunk/XSB/docs/userman/debugging.tex |
| changed | /trunk/XSB/docs/userman/hooks.tex |
| changed | /trunk/XSB/docs/userman/library.tex |
| changed | /trunk/XSB/docs/userman/system.tex |
| changed | /trunk/XSB/docs/userman/tries.tex |