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

Back to bug 350

Who When What Removed Added
behrmann 2006-09-23 17:23:44 CEST Status NEW ASSIGNED
behrmann 2006-10-14 15:52:57 CEST Resolution --- FIXED
Status ASSIGNED RESOLVED

Back to bug 350