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

Back to bug 283

Who When What Removed Added
behrmann 2006-03-02 11:25:14 CET Severity normal enhancement
Status NEW ASSIGNED
Component GUI Engine
Priority P2 P3

Back to bug 283