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

projects / SXSI / xpathcomp.git / commit

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

author	kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
	Sat, 3 Dec 2011 21:52:22 +0000 (21:52 +0000)
committer	kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
	Sat, 3 Dec 2011 21:52:22 +0000 (21:52 +0000)
commit	ddd48898c9d77270a46fa16b66bb8b291e0859d0
tree	43e55a9786bd47dcf5b7c9119a55b2e3c9003964	tree \| snapshot
parent	813b239795aac1844eb233dab7f8f98d8dba845e	commit \| diff

Purge libxml++ from build.

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

build		diff \| blob \| history
src/options.ml		diff \| blob \| history
utils/conf.ml		diff \| blob \| history

XPath Library based on tree automata.