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

Back to bug 242

Who When What Removed Added
behrmann 2005-12-15 20:43:56 CET Status NEW ASSIGNED
behrmann 2005-12-15 20:44:15 CET Priority P2 P1
behrmann 2005-12-17 16:35:04 CET Priority P1 P2
behrmann 2005-12-29 14:49:05 CET Priority P2 P3

Back to bug 242