We are happy to announce a new release of TAPAAL 4.0.1 that contains

• Minor GUI fixes (loading of files, redo/undo, name genertion and version check)
• All users are encouradged to update to this version (including the previous alpha and beta releases of TAPAAL 4.0.0).