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

Back to bug 394

Who When What Removed Added
marius 2007-02-20 17:20:22 CET Group internal
behrmann 2007-02-20 17:31:05 CET Group internal
behrmann 2007-02-20 17:32:45 CET Status NEW ASSIGNED
behrmann 2007-02-21 10:14:14 CET OS Linux All
Priority P2 P1
Hardware PC All
behrmann 2007-05-13 18:10:37 CEST Priority P1 P2

Back to bug 394