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

projects / SXSI / xpathcomp.git / commit

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

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

.

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

Makefile		diff \| blob \| history
ata.ml		diff \| blob \| history
ata.mli		diff \| blob \| history
depend		diff \| blob \| history
memoizer.ml		diff \| blob \| history
ptset.ml		diff \| blob \| history
ptset.mli		diff \| blob \| history
ptset_include.ml	[deleted file]	blob \| history

XPath Library based on tree automata.