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

author	Lucca Hirschi <lucca.hirschi@gmail.com>
	Mon, 2 Jul 2012 13:44:26 +0000 (15:44 +0200)
committer	Lucca Hirschi <lucca.hirschi@gmail.com>
	Mon, 2 Jul 2012 13:44:26 +0000 (15:44 +0200)
commit	e80e269c313952b4d427fa6a5a9729ea15e43f39
tree	3ba29f63b241c060e07b242d08e0dae0957acb29	tree \| snapshot
parent	5a9c2accf1b54294cd71b90ca5cca5f69ac8e76e	commit \| diff

Print labels (=QName -> qname.ml? )
+ structure of the translation function in Compil

Tree Automata TOOlkit