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

Back to bug 475

Who When What Removed Added
adavid 2009-06-23 17:25:43 CEST Status NEW ASSIGNED
mmajid 2009-06-23 18:04:27 CEST Status ASSIGNED RESOLVED
Resolution --- WORKSFORME
adavid 2009-08-07 12:47:43 CEST CC Axel.Belinfante

Back to bug 475