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

Back to bug 455

Who When What Removed Added
adavid 2009-03-02 15:16:49 CET Status NEW ASSIGNED
adavid 2009-03-02 15:28:43 CET Priority P2 P1
adavid 2009-03-02 17:40:54 CET Status ASSIGNED RESOLVED
Resolution --- FIXED
ynjack 2009-07-02 05:21:05 CEST CC ynjack

Back to bug 455