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

Back to bug 50

Who When What Removed Added
behrmann 2003-09-11 17:36:04 CEST Status NEW ASSIGNED
behrmann 2005-06-29 21:19:14 CEST Version 3.3.38 3.5.7
behrmann 2005-08-06 09:45:29 CEST CC behrmann
Assignee behrmann masa
Status ASSIGNED NEW
masa 2005-08-08 14:42:11 CEST Status NEW ASSIGNED
masa 2005-08-09 14:46:01 CEST Status ASSIGNED RESOLVED
Resolution --- FIXED
masa 2005-08-09 16:09:31 CEST Status RESOLVED REOPENED
Resolution FIXED ---
masa 2005-08-09 16:14:17 CEST Status REOPENED ASSIGNED
masa 2005-09-28 14:09:14 CEST Assignee masa egir
Status ASSIGNED NEW
egir 2005-10-09 01:16:35 CEST Status NEW ASSIGNED
egir 2006-01-31 13:31:04 CET Status ASSIGNED RESOLVED
Resolution --- FIXED

Back to bug 50