TAPAAL 2.1.1 is a maintenance release fixing several bugs and

• improving the speed of loading large models and moving/sorting in the component list,
• introducing a new update notification dialog,
• fixing a rare memory leak in the TAPAAL engine verifytapn,
• possibility to change the values of constants using the arrows left/right,
• user preferences are now relative to the version of TAPAAL,
• tool tips can be disabled,
• query dialog allows to create any query and suggests automatically the most suitable verification engine, and
• it is now possible to move in the error trace using the arrows up/down while the arrows left/right change the currently displayed component.