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

Commit [r7962] Maximize Restore History

Major rewrite of incremental tabling system; updated biblio references

and credits.

Authored by: tswift 2014-05-02

Browse code at this revision

Parent: [r7961]

Child: [r7963]

changed	/trunk/XSB/docs/userman/credits1.tex
changed	/trunk/XSB/docs/userman/incr_tabling.tex
changed	/trunk/XSB/docs/userman/longstring.bib
changed	/trunk/XSB/docs/userman/manual.bib
changed	/trunk/XSB/docs/userman/manual1.pdf
changed	/trunk/XSB/docs/userman/manual2.pdf
changed	/trunk/XSB/docs/userman/system.tex
changed	/trunk/XSB/docs/userman/tables.tex

/trunk/XSB/docs/userman/credits1.tex Diff Switch to side-by-side view

/trunk/XSB/docs/userman/incr_tabling.tex Diff Switch to side-by-side view

/trunk/XSB/docs/userman/longstring.bib Diff Switch to side-by-side view

/trunk/XSB/docs/userman/manual.bib Diff Switch to side-by-side view

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

Binary file was changed.

/trunk/XSB/docs/userman/manual2.pdf

Binary file was changed.

/trunk/XSB/docs/userman/system.tex Diff Switch to side-by-side view

/trunk/XSB/docs/userman/tables.tex Diff Switch to side-by-side view