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

projects / SXSI / xpathcomp.git / commit

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

author	Kim Nguyễn <kn@lri.fr>
	Mon, 2 Apr 2012 13:05:27 +0000 (15:05 +0200)
committer	Kim Nguyễn <kn@lri.fr>
	Mon, 2 Apr 2012 13:05:27 +0000 (15:05 +0200)
commit	a145e1cff02534a93be2544303551c7ea94f0083
tree	a70184c682cd9a333d5b841a80602cd0951f02be	tree \| snapshot
parent	a127ef55715b51a4e8b943104af2ebdc60733f0c	commit \| diff

Uses the Logger.print function instead of Printf.eprintf

src/ata.ml		diff \| blob \| history
src/hcons.ml		diff \| blob \| history
src/main.ml		diff \| blob \| history
src/runtime.ml		diff \| blob \| history
src/tree.ml		diff \| blob \| history

XPath Library based on tree automata.