From: Kim Nguyễn <kim.nguyen@lri.fr>
Date: Wed, 12 Oct 2016 11:39:07 +0000 (+0200)
Subject: Refactor pretty printing of transitions and fix some depracated function uses.
X-Git-Url: http://git.nguyen.vg/gitweb/?p=tatoo.git;a=commitdiff_plain;h=fed343e8df1900043dc993ac5458c757d3ac2ee0;hp=fed343e8df1900043dc993ac5458c757d3ac2ee0

Refactor pretty printing of transitions and fix some depracated function uses.
---