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

Back to bug 289

Who When What Removed Added
behrmann 2006-03-09 17:56:13 CET Severity normal major
Status NEW ASSIGNED
OS Windows 2000 All
Priority P2 P1
Hardware PC All
behrmann 2006-03-09 20:45:36 CET Resolution --- FIXED
Status ASSIGNED RESOLVED

Back to bug 289