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 Status ASSIGNED RESOLVED
Resolution --- FIXED

Back to bug 350