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

Back to bug 291

Who When What Removed Added
behrmann 2006-03-10 13:04:31 CET Severity normal major
Status NEW ASSIGNED
OS Linux All
Priority P2 P1
Hardware PC All
Version unspecified 3.6 Alpha 5
behrmann 2006-03-10 13:17:30 CET Assignee behrmann egir
Status ASSIGNED NEW
egir 2006-03-10 14:28:06 CET Status NEW ASSIGNED
egir 2006-03-10 16:09:00 CET Status ASSIGNED RESOLVED
Resolution --- FIXED

Back to bug 291