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

Back to bug 240

Who When What Removed Added
behrmann 2005-12-15 12:45:38 CET Severity normal enhancement
Status NEW ASSIGNED
OS Windows 2000 All
Hardware PC All
behrmann 2006-01-03 16:29:09 CET Priority P2 P3

Back to bug 240