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

Back to bug 7

Who When What Removed Added
behrmann 2003-06-24 14:49:25 CEST Status NEW ASSIGNED
behrmann 2003-07-01 17:05:09 CEST Status ASSIGNED RESOLVED
Resolution --- FIXED
behrmann 2003-07-22 16:22:16 CEST Status RESOLVED CLOSED

Back to bug 7