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 Status ASSIGNED RESOLVED
Resolution --- FIXED

Back to bug 289