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

Back to bug 142

Who When What Removed Added
behrmann 2005-04-01 18:13:31 CEST Status NEW ASSIGNED
behrmann 2005-11-06 17:47:20 CET Priority P2 P3
behrmann 2006-03-13 17:20:23 CET Assignee behrmann algreen
Status ASSIGNED NEW
Priority P3 P2
algreen 2006-03-14 19:05:20 CET Status NEW ASSIGNED
behrmann 2006-03-18 16:34:04 CET Status ASSIGNED RESOLVED
Resolution --- FIXED

Back to bug 142