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

projects / SXSI / xpathcomp.git / commit

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

author	kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
	Wed, 28 Apr 2010 06:46:34 +0000 (06:46 +0000)
committer	kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
	Wed, 28 Apr 2010 06:46:34 +0000 (06:46 +0000)
commit	ac8720a930e5757a72f73e80aff7a988b0082831
tree	80eef582a957e4a4d128a9e4d23e63a609a8e642	tree \| snapshot
parent	d046f2b9d8e39b30350399eafe122c30ff61c8c1	commit \| diff

Fixed nasty garbage collector setting

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

Makefile		diff \| blob \| history
ata.ml		diff \| blob \| history
ata.mli		diff \| blob \| history
main.ml		diff \| blob \| history
ptset.ml		diff \| blob \| history
ptset.mli		diff \| blob \| history
results.c		diff \| blob \| history
tree.ml		diff \| blob \| history
tree.mli		diff \| blob \| history
utils.ml		diff \| blob \| history

XPath Library based on tree automata.