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

Back to bug 232

Who When What Removed Added
behrmann 2005-12-02 18:08:19 CET Status NEW ASSIGNED
behrmann 2005-12-02 18:10:08 CET Status ASSIGNED RESOLVED
Resolution --- FIXED
tuckerjackk 2019-09-10 15:48:19 CEST CC tuckerjackk

Back to bug 232