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

Back to bug 317

Who When What Removed Added
behrmann 2006-04-26 21:44:16 CEST Assignee masa johnh
johnh 2006-04-28 10:24:32 CEST Status NEW RESOLVED
Resolution --- FIXED

Back to bug 317