Log in / Register
TAPAAL
Overview
Code
Bugs
Blueprints
Translations
Answers
Bug #809860
Comment #3
Comment 3 for bug 809860
Revision history for this message
Morten Jacobsen (mortenja)
wrote
on 2011-07-16
:
#3
Marking the bug as fixed in TAPAAL since this is really related to VerifyTAPN and not TAPAAL.
Marking the bug as fixed in TAPAAL since this is really related to VerifyTAPN and not TAPAAL.
Marking the bug as fixed in TAPAAL since this is really related to VerifyTAPN and not TAPAAL.