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

Back to bug 373

Who When What Removed Added
behrmann 2006-11-21 09:45:27 CET Priority P2 P4
Status UNCONFIRMED ASSIGNED
Ever confirmed 0 1

Back to bug 373