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

Back to bug 365

Who When What Removed Added
behrmann 2006-10-25 13:29:34 CEST Assignee behrmann marius
marius 2006-11-04 17:28:02 CET Status NEW ASSIGNED

Back to bug 365