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

Back to bug 219

Who When What Removed Added
behrmann 2005-11-07 19:57:13 CET Status NEW ASSIGNED
behrmann 2005-11-19 23:31:51 CET Status ASSIGNED RESOLVED
Resolution --- FIXED

Back to bug 219