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

Back to bug 488

Who When What Removed Added
adavid 2010-05-25 16:33:11 CEST Status NEW ASSIGNED
adavid 2010-05-25 16:50:21 CEST Status ASSIGNED RESOLVED
Resolution --- FIXED
marius 2010-05-25 17:06:03 CEST Blocks 471
CC marius

Back to bug 488