projects / SXSI / xpathcomp.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4600d89) | patch
Follow the changes in XMLTree API: xml_tree::subtree_elements() does track-xml-tree-better-doc
authorKim Nguyễn <kn@lri.fr>
Wed, 17 Oct 2012 17:05:14 +0000 (19:05 +0200)
committerKim Nguyễn <kn@lri.fr>
Wed, 17 Oct 2012 17:05:14 +0000 (19:05 +0200)
commitee7298a574db84779df164b8a4d1794fe6345e98
tree715f0d48cd95ba067155502b34ff47767811fcactree | snapshot
parent4600d89e4b6e79ed23518f3bcf7af40bfe4a66cccommit | diff
Follow the changes in XMLTree API: xml_tree::subtree_elements() does
not require an extra array of attributes anymore.
src/tree.ml diff | blob | history
src/xml-tree_stub.cpp diff | blob | history
XPath Library based on tree automata.