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

projects / SXSI / xpathcomp.git / commit

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

author	Kim Nguyễn <kn@lri.fr>
	Fri, 19 Oct 2012 18:20:52 +0000 (20:20 +0200)
committer	Kim Nguyễn <kn@lri.fr>
	Fri, 19 Oct 2012 18:20:52 +0000 (20:20 +0200)
commit	e55eb5e1ceafa840dc1d137d7fae5fb06eac3875
tree	eaa287c2983acd5f57f453d9b0176715e621e074	tree \| snapshot
parent	5c37235963ddd5fbfcb6ab86c1f8ccb78d48f0f1	commit \| diff

Completely silences the output unless -v is given.

include/utils.ml		diff \| blob \| history
src/l2JIT.ml		diff \| blob \| history
src/logger.ml		diff \| blob \| history
src/logger.mli		diff \| blob \| history
src/main.ml		diff \| blob \| history
src/options.ml		diff \| blob \| history
src/tree.ml		diff \| blob \| history

XPath Library based on tree automata.