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

projects / SXSI / xpathcomp.git / commit

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

author	kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
	Sun, 26 Apr 2009 15:10:13 +0000 (15:10 +0000)
committer	kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
	Sun, 26 Apr 2009 15:10:13 +0000 (15:10 +0000)
commit	25dd7fcc77c2188732d96d5ff98d759bb81737cb
tree	29f3eb423dbeedd3d3327b5db5d9f7e0c90b5b1d	tree \| snapshot
parent	f1da22caf34bc3367984228ace9e7e7aa0760f0a	commit \| diff

removed cruft, fixed ptset.ml

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

ata.ml		diff \| blob \| history
intSet.ml	[deleted file]	blob \| history
intSet.mli	[deleted file]	blob \| history
ptset.ml		diff \| blob \| history
tree.ml		diff \| blob \| history
tree.mli		diff \| blob \| history

XPath Library based on tree automata.