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

projects / tatoo.git / commit

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

author	Kim Nguyễn <kn@lri.fr>
	Fri, 21 Dec 2012 13:16:39 +0000 (14:16 +0100)
committer	Kim Nguyễn <kn@lri.fr>
	Mon, 4 Feb 2013 14:57:33 +0000 (15:57 +0100)
commit	e2dcfc3066d33b814d4e9724563cc5b3e696060d
tree	50d570fdc0e4809dcb33558d2d87b6a59b035997	tree \| snapshot
parent	54b9cdaa6686eb28a0cad0ac3f1648f115d3fac5	commit \| diff

Remove AbsoluteDOS from the XPath AST.

src/formula.ml		diff \| blob \| history
src/formula.mli		diff \| blob \| history
src/test.ml		diff \| blob \| history
src/xPath.ml		diff \| blob \| history
src/xPath.mli		diff \| blob \| history

Tree Automata TOOlkit