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

Back to bug 80

Who When What Removed Added
behrmann 2004-01-14 16:14:23 CET Status NEW ASSIGNED
behrmann 2004-04-27 12:09:44 CEST Blocks 100
behrmann 2004-05-13 14:04:37 CEST Status ASSIGNED RESOLVED
Resolution --- FIXED
behrmann 2005-02-18 11:03:47 CET Status RESOLVED CLOSED

Back to bug 80