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

Back to bug 226

Who When What Removed Added
behrmann 2005-11-20 13:14:26 CET Status NEW ASSIGNED
behrmann 2005-11-21 21:41:42 CET Severity normal major
behrmann 2005-11-22 20:14:54 CET Status ASSIGNED RESOLVED
Resolution --- FIXED

Back to bug 226