git.nguyen.vg Git - tatoo.git/commit

projects / tatoo.git / commit

summary | shortlog | log | commit | commitdiff | tree
(merge: 7e8fa6a b00bff8)

author	Kim Nguyễn <kn@lri.fr>
	Thu, 4 Apr 2013 19:16:44 +0000 (21:16 +0200)
committer	Kim Nguyễn <kn@lri.fr>
	Thu, 4 Apr 2013 19:16:44 +0000 (21:16 +0200)
commit	974dacbf4f625bfd8ea83db69d6b346050141fea
tree	80ebc6738ea219d49df0ed5b35b7b9d46fe1ab62	tree \| snapshot
parent	7e8fa6a1fcb2f6ea9e3639e8a3f0d199836796a5	commit \| diff
parent	b00bff88c7902e828804c06b7f9dc55222fdc84e	commit \| diff

Merge branch 'master' of ssh://git.nguyen.vg/tatoo

* 'master' of ssh://git.nguyen.vg/tatoo:
Flatten the sources, only leave the XPath module packed.
Fix the build script.

_tags	diff1 \|	diff2 \|	blob \| history
src/ata.ml	\|	diff2 \|	blob \| history
src/cache.ml	\|	diff2 \|	blob \| history
src/cache.mli	\|	diff2 \|	blob \| history
src/eval.ml	\|	diff2 \|	blob \| history
src/hcons.ml	\|	diff2 \|	blob \| history

Tree Automata TOOlkit