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

Back to bug 196

Who When What Removed Added
behrmann 2005-09-03 21:06:08 CEST Depends on 116, 117, 118, 119, 195
behrmann 2005-09-04 17:10:58 CEST Status NEW ASSIGNED
behrmann 2006-02-01 11:35:21 CET Priority P2 P1
behrmann 2006-02-26 21:35:45 CET Status ASSIGNED RESOLVED
Resolution --- FIXED

Back to bug 196