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

Back to bug 190

Who When What Removed Added
behrmann 2005-08-23 16:39:54 CEST Status NEW ASSIGNED
behrmann 2005-10-02 14:16:00 CEST Severity normal major
behrmann 2005-11-01 15:58:09 CET Status ASSIGNED RESOLVED
Resolution --- FIXED

Back to bug 190