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

Back to bug 489

Who When What Removed Added
marius 2010-05-07 10:20:52 CEST CC marius
adavid 2010-05-25 15:09:54 CEST Status NEW ASSIGNED
adavid 2010-05-25 15:24:28 CEST Status ASSIGNED RESOLVED
Resolution --- FIXED

Back to bug 489