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

Back to bug 186

Who When What Removed Added
behrmann 2005-08-20 21:19:30 CEST Status NEW ASSIGNED
behrmann 2005-11-06 17:46:26 CET Priority P2 P1
behrmann 2006-01-11 15:58:23 CET Priority P1 P3

Back to bug 186