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

Back to bug 442

Who When What Removed Added
adavid 2008-06-12 09:18:26 CEST Status NEW ASSIGNED
adavid 2008-09-12 17:17:02 CEST Status ASSIGNED RESOLVED
Resolution --- DUPLICATE

Back to bug 442