[Xsb-commits] SF.net SVN: XSB commit:[7892] trunk/XSB/docs/userman

[<ts...@us...>]

Revision: 7892
          http://sourceforge.net/p/xsb/src/7892
Author:   tswift
Date:     2014-02-02 20:46:58 +0000 (Sun, 02 Feb 2014)
Log Message:
-----------
Updated for UTF-8 based I/O, and updated some old section of syntax.tex.

Modified Paths:
--------------
    trunk/XSB/docs/userman/builtin.tex
    trunk/XSB/docs/userman/comparison.tex
    trunk/XSB/docs/userman/credits1.tex
    trunk/XSB/docs/userman/dcg.tex
    trunk/XSB/docs/userman/library.tex
    trunk/XSB/docs/userman/manual.bib
    trunk/XSB/docs/userman/manual1.pdf
    trunk/XSB/docs/userman/manual1.tex
    trunk/XSB/docs/userman/syntax.tex
    trunk/XSB/docs/userman/system.tex