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

projects / SXSI / xpathcomp.git / commit

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

author	kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
	Mon, 12 Sep 2011 06:21:44 +0000 (06:21 +0000)
committer	kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
	Mon, 12 Sep 2011 06:21:44 +0000 (06:21 +0000)
commit	92e6cc9537b4751588ecb93c99685bc91d6797a0
tree	7d84c38f1fd02d4631c4830c3df858624f1c438b	tree \| snapshot
parent	13f8cb39ae4df2a6ae68f013eef6d3dc61489263	commit \| diff

Refactoring and cosmetic changes

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

src/cache.ml		diff \| blob \| history
src/cache.mli		diff \| blob \| history
src/compile.ml		diff \| blob \| history
src/compile.mli		diff \| blob \| history

XPath Library based on tree automata.