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

Back to bug 77

Who When What Removed Added
paupet 2004-01-08 08:55:55 CET Status NEW ASSIGNED
paupet 2004-01-08 09:07:02 CET Status ASSIGNED RESOLVED
Resolution --- FIXED

Back to bug 77