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

Back to bug 497

Who When What Removed Added
adavid 2010-08-11 11:41:11 CEST Status NEW ASSIGNED
marius 2019-12-11 11:10:58 CET Status ASSIGNED NEW
CC marius
Assignee adavid marius
marius 2020-01-22 15:34:55 CET Status NEW ASSIGNED

Back to bug 497