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

projects / SXSI / xpathcomp.git / commit

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

author	kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
	Wed, 28 Apr 2010 06:47:01 +0000 (06:47 +0000)
committer	kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
	Wed, 28 Apr 2010 06:47:01 +0000 (06:47 +0000)
commit	bf2b1a91300ace1e7e83bd78f868a269d86498f9
tree	3b97537eb93835c28340b5f1c5fec4118aa8ddf8	tree \| snapshot
parent	861944c24f8cad360fb9478cb0a15863cb52e803	commit \| diff

Safety commit before clean-up

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

ata.ml		diff \| blob \| history
main.ml		diff \| blob \| history

XPath Library based on tree automata.