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

projects / SXSI / xpathcomp.git / commit

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

author	kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
	Mon, 2 Mar 2009 02:04:50 +0000 (02:04 +0000)
committer	kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
	Mon, 2 Mar 2009 02:04:50 +0000 (02:04 +0000)
commit	4a66518948bf6356b5cb72ba30b4d48a8c9e833a
tree	4eeea8865044fc226153eb70252913f2d3c92ef2	tree \| snapshot
parent	0b725bb9913ff83cf73c5489f3b8582b881e6681	commit \| diff

Merge from branch stable-succint-refactor

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

Makefile		diff \| blob \| history
ata.ml		diff \| blob \| history
main.ml		diff \| blob \| history
ptset.ml		diff \| blob \| history
tree.ml		diff \| blob \| history

XPath Library based on tree automata.