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

Back to bug 113

Who When What Removed Added
behrmann 2005-01-04 12:51:09 CET Status NEW ASSIGNED
behrmann 2005-06-29 21:11:36 CEST Version 3.4.7 3.5.7
behrmann 2005-08-25 16:23:06 CEST Assignee behrmann masa
Status ASSIGNED NEW
behrmann 2005-08-26 09:22:31 CEST CC behrmann
masa 2005-09-03 16:36:18 CEST Status NEW ASSIGNED
behrmann 2006-02-23 17:05:38 CET Assignee masa egir
Status ASSIGNED NEW
egir 2006-03-03 12:30:14 CET Status NEW ASSIGNED

Back to bug 113