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

Back to bug 349

Who When What Removed Added
behrmann 2006-09-22 09:36:59 CEST Status NEW RESOLVED
Resolution --- FIXED
behrmann 2006-09-22 09:37:20 CEST Status RESOLVED REOPENED
Resolution FIXED ---
behrmann 2006-09-22 09:37:29 CEST Status REOPENED ASSIGNED
behrmann 2006-09-23 11:41:23 CEST Status ASSIGNED RESOLVED
Resolution --- FIXED

Back to bug 349