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

Back to bug 252

Who When What Removed Added
behrmann 2006-01-31 14:09:02 CET Severity critical major
Status NEW RESOLVED
OS Linux All
Priority P2 P1
Hardware PC All
Resolution --- FIXED

Back to bug 252