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: DocumentationAssignee: Paul Pettersson <paupet>
Status: CLOSED FIXED    
Severity: normal    
Priority: P2    
Version: 3.3.37   
Hardware: All   
OS: All   

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.