This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 447 - it should be possible to read help during verification
Summary: it should be possible to read help during verification
Status: ASSIGNED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: unspecified
Hardware: All All
: P2 enhancement
Assignee: Alexandre David
URL:
Depends on:
Blocks:
 
Reported: 2008-07-08 13:45 CEST by Marius Mikučionis
Modified: 2008-09-09 17:26 CEST (History)
0 users

See Also:
Architecture:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Marius Mikučionis 2008-07-08 13:45:21 CEST 
Verification takes time. During this time it would be nice to have an oportunity
to get acqainted with more advanced UPPAAL features (i.e. think about how to 
optimize the model while verification is in progress), however the UPPAAL help window is frozen during verification. 
It would nice to let it be more independent from UPPAAL GUI. 
Ultimately it would be nice to be able to launch help from verification dialog 
too (add "?" window decoration button/icon?) while the verification is running.