TAPAAL 2.1.2 is a maintenance release fixing a few smaller bugs in the GUI as well as the interpretation of the verification answers for EG and AF queries. A recommended update for all TAPAAL users.