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

2012-07-17	Lucca Hirschi	Merge branch 'lucca-tests-bench' into lucca-extentions lucca-extentions Core+FS+Self_tested	blob \| commitdiff \| raw
2012-07-17	Lucca Hirschi	For testing lucca-extentions.	blob \| commitdiff \| raw
2012-07-13	Lucca Hirschi	fix a bug: attributes were considered as nodes -> using...	blob \| commitdiff \| raw
2012-07-04	Lucca Hirschi	structure of Run.compute + pretty-printing (run+tree...	blob \| commitdiff \| raw \| diff to current
2012-06-29	Lucca Hirschi	Merge branch 'lucca-master' of ssh://git.nguyen.vg...	blob \| commitdiff \| raw \| diff to current
2012-06-28	Kim Nguyễn	Remove spurious debugging statement.	blob \| commitdiff \| raw \| diff to current
2012-06-28	Kim Nguyễn	Add support for attribute nodes. Correctly escape speci...	blob \| commitdiff \| raw \| diff to current
2012-06-28	Kim Nguyễn	Add support for text elements in the XML document.	blob \| commitdiff \| raw \| diff to current
2012-06-28	Kim Nguyễn	Usable version:	blob \| commitdiff \| raw \| diff to current

Tree Automata TOOlkit