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

Back to bug 59

Who When What Removed Added
behrmann 2003-09-16 19:01:31 CEST Status NEW RESOLVED
Resolution --- FIXED
behrmann 2003-09-22 16:33:17 CEST Status RESOLVED CLOSED
behrmann 2006-09-10 11:43:40 CEST OS All
Hardware Sun All

Back to bug 59