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

Back to bug 193

Who When What Removed Added
masa 2005-09-03 16:36:33 CEST Status NEW ASSIGNED
behrmann 2006-02-23 17:05:40 CET Assignee masa egir
Status ASSIGNED NEW
egir 2006-03-03 12:29:21 CET Status NEW ASSIGNED

Back to bug 193