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

Back to bug 466

Who When What Removed Added
adavid 2009-06-19 17:14:27 CEST Status NEW ASSIGNED
adavid 2009-08-10 11:50:13 CEST Severity normal major
adavid 2009-08-17 15:54:47 CEST Resolution --- FIXED
Status ASSIGNED RESOLVED

Back to bug 466