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

Back to bug 377

Who When What Removed Added
behrmann 2006-12-15 14:01:49 CET Status NEW ASSIGNED
behrmann 2006-12-15 15:16:37 CET Severity critical major

Back to bug 377