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

Back to bug 247

Who When What Removed Added
behrmann 2006-01-06 16:20:51 CET Status NEW ASSIGNED
Priority P2 P3
behrmann 2006-03-19 17:41:09 CET Summary Better transition labels in the GUI Better transition labels in the simulator
marius 2010-06-25 11:04:15 CEST CC marius

Back to bug 247