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

projects / SXSI / xpathcomp.git / commit

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

author	kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
	Thu, 30 Apr 2009 14:25:42 +0000 (14:25 +0000)
committer	kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
	Thu, 30 Apr 2009 14:25:42 +0000 (14:25 +0000)
commit	9df4d963bf2a5a405aca2831c8acd88e85bb0c7b
tree	bca1b3b0fe3d642c3e5b57bce9b1c5c9c6c0d0f7	tree \| snapshot
parent	99ac0ee0d0f85549a19b5e96442caa5a56f95a78	commit \| diff

Doing the decision procedure

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

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

XPath Library based on tree automata.