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

Back to bug 259

Who When What Removed Added
behrmann 2006-02-03 14:45:45 CET Status NEW ASSIGNED
behrmann 2006-02-05 19:26:31 CET Priority P2 P1
masa 2006-02-06 15:16:57 CET Assignee behrmann masa
Status ASSIGNED NEW
behrmann 2006-02-23 17:05:39 CET Assignee masa egir
egir 2006-03-03 12:28:47 CET Status NEW ASSIGNED
behrmann 2006-04-30 14:33:06 CEST Status ASSIGNED RESOLVED
Resolution --- FIXED

Back to bug 259