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

Back to bug 219

Who When What Removed Added
behrmann 2005-11-07 19:57:13 CET Status NEW ASSIGNED
behrmann 2005-11-19 23:31:51 CET Resolution --- FIXED
Status ASSIGNED RESOLVED

Back to bug 219