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

Back to bug 144

Who When What Removed Added
behrmann 2005-04-01 18:08:25 CEST Depends on 143
behrmann 2005-06-17 11:56:13 CEST Status NEW ASSIGNED
Priority P2 P4

Back to bug 144