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

Back to bug 356

Who When What Removed Added
behrmann 2006-10-12 17:39:52 CEST Status NEW ASSIGNED
behrmann 2006-10-12 17:43:50 CEST CC adavid
marius 2008-04-25 12:30:19 CEST CC marius
adavid 2008-06-11 16:57:49 CEST Status ASSIGNED RESOLVED
Resolution --- FIXED

Back to bug 356