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 Status NEW RESOLVED
OS Linux All
Priority P2 P1
Hardware PC All
Resolution --- FIXED
Severity critical major

Back to bug 252