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

Back to bug 143

Who When What Removed Added
behrmann 2005-04-01 18:08:25 CEST Blocks 144
behrmann 2005-06-17 11:54:48 CEST Status NEW ASSIGNED
Priority P2 P5

Back to bug 143