Menu

Commit [r7781]  Maximize  Restore  History

updated the configuration for Xpath. Also the manual.

kifer 2013-06-21

changed /trunk/XSB
changed /trunk/XSB/build
changed /trunk/XSB/build/configure
changed /trunk/XSB/build/configure.in
changed /trunk/XSB/docs/userman
changed /trunk/XSB/docs/userman/manual1.pdf
changed /trunk/XSB/docs/userman/manual2.pdf
changed /trunk/XSB/docs/userman/sgml2pl.tex
changed /trunk/XSB/packages/curl
changed /trunk/XSB/packages/curl/configure
changed /trunk/XSB/packages/pcre
changed /trunk/XSB/packages/xpath/configure
changed /trunk/XSB/packages/xpath/configure.in
changed /trunk/XSB/packages/xpath/xml2-config
/trunk/XSB
Directory.
/trunk/XSB/build
Directory.
/trunk/XSB/build/configure Diff Switch to side-by-side view
Loading...
/trunk/XSB/build/configure.in 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.
/trunk/XSB/docs/userman/sgml2pl.tex Diff Switch to side-by-side view
Loading...
/trunk/XSB/packages/curl/configure Diff Switch to side-by-side view
Loading...
/trunk/XSB/packages/xpath/configure Diff Switch to side-by-side view
Loading...
/trunk/XSB/packages/xpath/configure.in Diff Switch to side-by-side view
Loading...
/trunk/XSB/packages/xpath/xml2-config Diff Switch to side-by-side view
Loading...