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

Back to bug 307

Who When What Removed Added
behrmann 2006-03-29 16:36:36 CEST Status NEW ASSIGNED
OS Windows XP All
Priority P2 P1
Hardware PC All
behrmann 2006-04-10 18:03:42 CEST Status ASSIGNED RESOLVED
Resolution --- FIXED

Back to bug 307