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

Back to bug 464

Who When What Removed Added
adavid 2009-03-19 15:42:22 CET Status NEW ASSIGNED
marius 2010-04-23 18:43:44 CEST CC marius

Back to bug 464