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

author	Lucca Hirschi <lucca.hirschi@gmail.com>
	Fri, 13 Jul 2012 14:56:15 +0000 (16:56 +0200)
committer	Lucca Hirschi <lucca.hirschi@gmail.com>
	Fri, 13 Jul 2012 14:56:15 +0000 (16:56 +0200)
commit	d4e704decf927be044d72a6fe4314aea3c8125a5
tree	0b85f5d9cb7a6e6f1491b52564333607d47c6302	tree \| snapshot
parent	5cfe8f8725b83eadae6923a10929b5db9204049c	commit \| diff

Fix predicates + following_sibling/self + add self in Formula.st + use it in Run

Tree Automata TOOlkit