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

Back to bug 274

Who When What Removed Added
behrmann 2006-02-22 09:59:42 CET Status NEW ASSIGNED
behrmann 2006-02-24 16:26:34 CET CC paupet
behrmann 2006-03-09 10:00:49 CET Priority P2 P3

Back to bug 274