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

projects / SXSI / xpathcomp.git / commit

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

author	kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
	Sun, 11 Sep 2011 12:31:12 +0000 (12:31 +0000)
committer	kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
	Sun, 11 Sep 2011 12:31:12 +0000 (12:31 +0000)
commit	13f8cb39ae4df2a6ae68f013eef6d3dc61489263
tree	784b21115176e2535f1934a3de9563a08c3054fd	tree \| snapshot
parent	38d272b6d0c20bdc58e55a02c5febc99a0ce68fa	commit \| diff

Refactoring and cosmetic changes

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

src/ata.ml		diff \| blob \| history
src/ata.mli		diff \| blob \| history

XPath Library based on tree automata.