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

Bug 447

Summary:	it should be possible to read help during verification
Product:	UPPAAL	Reporter:	Marius Mikučionis <marius>
Component:	GUI	Assignee:	Alexandre David <adavid>
Status:	ASSIGNED ---
Severity:	enhancement
Priority:	P2
Version:	unspecified
Hardware:	All
OS:	All
Architecture:

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.