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

projects / tatoo.git / commit

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

author	Kim Nguyễn <kn@lri.fr>
	Sun, 10 Mar 2013 09:17:49 +0000 (10:17 +0100)
committer	Kim Nguyễn <kn@lri.fr>
	Sun, 10 Mar 2013 09:17:49 +0000 (10:17 +0100)
commit	80478f0eb936f38e0512371fc7a300cdc32775c5
tree	f0c51df825c3416c8eb819241603d1af958ecf71	tree \| snapshot
parent	37e8a9fe5d5f1f430ced3aa65daf572d330d3398	commit \| diff

Fix the xml_diff program to also check trailing events (after </root>)
Reformat output of XML query in test program
Fix testing scripts.

src/main.ml		diff \| blob \| history
tools/do_test.sh	[new file with mode: 0755]	blob
tools/gen_test.sh		diff \| blob \| history
tools/xml_diff.ml		diff \| blob \| history

Tree Automata TOOlkit