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

Back to bug 89

Who When What Removed Added
behrmann 2004-01-27 21:37:20 CET Status NEW ASSIGNED
behrmann 2004-03-12 11:39:25 CET Status ASSIGNED RESOLVED
Resolution --- FIXED
behrmann 2004-06-11 09:53:12 CEST Status RESOLVED CLOSED

Back to bug 89