git.nguyen.vg Git - SXSI/xpathcomp.git/commit

projects / SXSI / xpathcomp.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: a6a0553) | patch

author	kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
	Mon, 7 Feb 2011 13:23:28 +0000 (13:23 +0000)
committer	kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
	Mon, 7 Feb 2011 13:23:28 +0000 (13:23 +0000)
commit	ac8c1ac563a2c089f789eed5a03ff5b84a2c4fe0
tree	ab5997217bea265504ab87b5d995b64ed19a8fab	tree \| snapshot
parent	a6a05531716a001b369e018c9d2c87ce532ef163	commit \| diff

Random fixes

git-svn-id: svn+ssh://idea.nguyen.vg/svn/sxsi/trunk/xpathcomp@948 3cdefd35-fc62-479d-8e8d-bae585ffb9ca

ata.ml		diff \| blob \| history
tree.ml		diff \| blob \| history
tree.mli		diff \| blob \| history
xPath.ml		diff \| blob \| history

XPath Library based on tree automata.