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

Back to bug 508

Who When What Removed Added
kragj 2011-03-01 11:28:38 CET CC kragj
marius 2019-11-25 12:00:08 CET Assignee adavid marius
CC marius
Resolution --- INVALID
Status NEW RESOLVED

Back to bug 508