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

Back to bug 479

Who When What Removed Added
adavid 2009-08-27 17:09:46 CEST Priority P2 P1
adavid 2009-08-28 11:00:33 CEST Status NEW RESOLVED
Resolution --- FIXED

Back to bug 479