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

Back to bug 417

Who When What Removed Added
ludovic.apvrille 2007-05-15 18:16:20 CEST CC ludovic.apvrille
behrmann 2008-05-01 18:06:05 CEST Assignee behrmann adavid
adavid 2008-06-11 16:48:31 CEST Status NEW ASSIGNED
adavid 2008-06-12 17:07:21 CEST Resolution --- INVALID
Status ASSIGNED RESOLVED

Back to bug 417