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

Back to bug 56

Who When What Removed Added
behrmann 2003-09-11 09:11:24 CEST Status NEW ASSIGNED
behrmann 2003-09-11 09:41:57 CEST Severity enhancement normal
behrmann 2003-09-11 19:14:27 CEST Severity normal enhancement
behrmann 2005-06-29 21:17:05 CEST Version 3.3.38 3.5.7
behrmann 2006-02-23 12:00:53 CET Priority P3 P1
behrmann 2006-02-23 12:01:20 CET Summary Change the name of the delete option for a transition nail. Refuse to delete last nail of self-loop
behrmann 2006-03-10 15:36:55 CET Status ASSIGNED RESOLVED
Resolution --- FIXED

Back to bug 56