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

projects / SXSI / xpathcomp.git / commit

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

author	kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
	Thu, 30 Apr 2009 14:25:01 +0000 (14:25 +0000)
committer	kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
	Thu, 30 Apr 2009 14:25:01 +0000 (14:25 +0000)
commit	70ff0bfc463882ecf233f1b1a7ac4a8007fa4cc2
tree	98bcac76b4905eccfe580273e32a795ad0cbe580	tree \| snapshot
parent	451e60ad59e35344dff62da5ca27fcd5eec1bff9	commit \| diff

Further optimisations, changed the prototype of Tree.mli

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

Makefile		diff \| blob \| history
SXSIStorageInterface.cpp		diff \| blob \| history
ata.ml		diff \| blob \| history
ata.mli		diff \| blob \| history
depend		diff \| blob \| history
main.ml		diff \| blob \| history
tree.ml		diff \| blob \| history
tree.mli		diff \| blob \| history

XPath Library based on tree automata.