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

Back to bug 433

Who When What Removed Added
adavid 2007-11-29 18:14:13 CET Status NEW RESOLVED
Resolution --- FIXED
adavid 2007-11-29 18:15:12 CET Status RESOLVED REOPENED
Resolution FIXED ---
marius 2019-10-21 10:17:34 CEST Assignee behrmann marius
CC marius
marius 2019-11-01 13:02:20 CET Status REOPENED ASSIGNED

Back to bug 433