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

Back to bug 467

Who When What Removed Added
adavid 2009-04-02 13:19:18 CEST Severity normal major
Priority P2 P1
adavid 2009-06-15 21:01:25 CEST Status NEW RESOLVED
Resolution --- FIXED

Back to bug 467