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

Bug 39

Summary:	Colors in variable window should be documented
Product:	UPPAAL	Reporter:	Gerd Behrmann <behrmann>
Component:	Documentation	Assignee:	Paul Pettersson <paupet>
Status:	CLOSED FIXED
Severity:	normal
Priority:	P2
Version:	3.3.37
Hardware:	All
OS:	All
Architecture:

Description Gerd Behrmann 2003-08-28 13:14:37 CEST

In the variable pane in the simulator, the variables are sometimes shown in blue
and sometimes in black. The meaning of these colors should be documented.

Comment 1 Paul Pettersson 2004-05-07 11:59:36 CEST

Text updated.