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

Back to bug 16

Who When What Removed Added
behrmann 2003-07-10 07:19:21 CEST Status NEW ASSIGNED
behrmann 2005-06-29 21:17:05 CEST Version 3.3.35 3.5.7
behrmann 2005-08-25 16:27:43 CEST Assignee behrmann masa
Status ASSIGNED NEW
masa 2005-09-03 16:35:43 CEST Status NEW ASSIGNED
masa 2005-09-28 14:10:30 CEST Assignee masa egir
Status ASSIGNED NEW
egir 2005-10-07 10:25:54 CEST Status NEW ASSIGNED
egir 2005-11-12 13:14:02 CET Status ASSIGNED RESOLVED
Resolution --- FIXED

Back to bug 16