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

Back to bug 102

Who When What Removed Added
behrmann 2004-05-13 13:51:36 CEST Status NEW ASSIGNED
behrmann 2005-03-22 09:28:30 CET Severity critical major
behrmann 2005-07-05 11:35:30 CEST Status ASSIGNED RESOLVED
Resolution --- FIXED

Back to bug 102