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

Back to bug 412

Who When What Removed Added
behrmann 2007-04-11 12:43:33 CEST Assignee behrmann marius
marius 2007-04-19 18:58:56 CEST Status NEW RESOLVED
Resolution --- FIXED

Back to bug 412