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

Back to bug 465

Who When What Removed Added
adavid 2009-03-18 18:01:03 CET Severity normal critical
adavid 2009-03-18 18:18:40 CET Status NEW RESOLVED
Resolution --- FIXED

Back to bug 465