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

Back to bug 154

Who When What Removed Added
behrmann 2005-05-19 13:12:03 CEST Group internal?
masa 2005-05-19 13:23:19 CEST Assignee masa behrmann
behrmann 2005-06-03 13:59:38 CEST Status NEW ASSIGNED
OS All Windows 2000
behrmann 2005-11-06 17:42:24 CET Priority P3 P1
behrmann 2006-03-16 18:57:30 CET Status ASSIGNED RESOLVED
Resolution --- FIXED

Back to bug 154