Display UPPAAL version in "About"

Bug #354778 reported by Jiri Srba
2
Affects Status Importance Assigned to Milestone
TAPAAL
Fix Released
Wishlist
Kenneth Yrke Jørgensen

Bug Description

In "About" tab one could display the present version of UPPAAL (verifyta) that will be used in the verification.

Related branches

Jiri Srba (srba)
Changed in tapn:
importance: Undecided → Wishlist
milestone: none → version2
Revision history for this message
Kenneth Yrke Jørgensen (yrke) wrote :

Fixed in trunk revision 13

Changed in tapn:
assignee: nobody → Kenneth Yrke Joergensen (yrke)
milestone: version2 → version1.2
status: New → Fix Committed
Changed in tapn:
status: Fix Committed → Fix Released
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.