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

projects / SXSI / xpathcomp.git / commit

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

author	kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
	Wed, 28 Apr 2010 06:45:00 +0000 (06:45 +0000)
committer	kim <kim@3cdefd35-fc62-479d-8e8d-bae585ffb9ca>
	Wed, 28 Apr 2010 06:45:00 +0000 (06:45 +0000)
commit	9f227961ae2219728e4cdd56e4d4c4e7165e4306
tree	b8f20b263779a4ef6223db6743c06ad33d49c130	tree \| snapshot
parent	ded94d764331b3ff91f9d5748ec257df4f9d36a7	commit \| diff

Safety commit

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

17 files changed:

Makefile		diff \| blob \| history
ata.ml		diff \| blob \| history
ata.mli		diff \| blob \| history
depend		diff \| blob \| history
finiteCofinite.ml		diff \| blob \| history
finiteCofinite.mli		diff \| blob \| history
hcons.ml		diff \| blob \| history
hcons.mli		diff \| blob \| history
hlist.ml		diff \| blob \| history
hlist.mli		diff \| blob \| history
memoizer.ml	[deleted file]	blob \| history
memoizer.mli	[deleted file]	blob \| history
ptset.ml		diff \| blob \| history
ptset.mli		diff \| blob \| history
tree.ml		diff \| blob \| history
uid.ml	[new file with mode: 0644]	blob
uid.mli	[new file with mode: 0644]	blob

XPath Library based on tree automata.