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

Back to bug 216

Who When What Removed Added
behrmann 2005-11-03 18:05:37 CET Status NEW ASSIGNED
behrmann 2005-11-03 18:07:44 CET Severity normal enhancement
OS Linux All
Hardware PC All
behrmann 2005-11-23 16:00:35 CET Priority P2 P1
behrmann 2006-01-11 15:58:10 CET Priority P1 P3
behrmann 2006-03-19 18:05:27 CET Summary Statements on edges? Statements on edges

Back to bug 216