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

Back to bug 115

Who When What Removed Added
behrmann 2003-12-09 16:22:24 CET Blocks 66
behrmann 2004-12-01 11:23:50 CET Status NEW ASSIGNED
behrmann 2005-11-06 17:49:10 CET OS Linux All
Priority P2 P3
marius 2008-11-10 19:20:15 CET CC marius

Back to bug 115