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

projects / SXSI / xpathcomp.git / commit

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

author	kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
	Mon, 9 Feb 2009 06:16:32 +0000 (06:16 +0000)
committer	kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
	Mon, 9 Feb 2009 06:16:32 +0000 (06:16 +0000)
commit	d64e3a3a9ef6329caafdba848ef78427fce0d689
tree	a56472d1357f334a5c4f58ecaa512d6de426e7bc	tree \| snapshot
parent	c74aa5a224a41d3ab9d1a7ae4ebb4e58083a578c	commit \| diff

Merge branch xpathcomp-succintbackend-refactor back to trunk

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

12 files changed:

Makefile		diff \| blob \| history
depend		diff \| blob \| history
main.ml		diff \| blob \| history
tag.ml		diff \| blob \| history
tag.mli		diff \| blob \| history
tagSet.ml		diff \| blob \| history
tagSet.mli		diff \| blob \| history
tree.ml		diff \| blob \| history
tree.mli		diff \| blob \| history
ulexer.ml		diff \| blob \| history
xPath.ml		diff \| blob \| history
xPath.mli		diff \| blob \| history

XPath Library based on tree automata.