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

Back to bug 81

Who When What Removed Added
behrmann 2004-01-14 12:53:55 CET Status NEW ASSIGNED
CC ask
marius 2005-05-30 09:03:00 CEST CC marius
behrmann 2005-11-06 18:31:17 CET Priority P2 P4
behrmann 2006-03-19 17:59:21 CET Status ASSIGNED RESOLVED
Resolution --- FIXED

Back to bug 81