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

Back to bug 402

Who When What Removed Added
ltm 2007-03-12 11:01:22 CET Summary Unable to open multipe systems Unable to open multiple systems
behrmann 2007-03-14 10:47:20 CET Status NEW ASSIGNED

Back to bug 402