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

Back to bug 145

Who When What Removed Added
marius 2005-04-06 19:11:05 CEST Status NEW ASSIGNED
behrmann 2006-02-23 16:27:52 CET CC kgl
behrmann 2006-11-06 12:31:50 CET CC adavid

Back to bug 145