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

Project file causing the problem
send-recv.xml (application/octet-stream), 2.44 KB, created by Krzysztof Sierszecki on 2003-09-17 14:38:18 CEST
(hide)
 
Creator: Krzysztof Sierszecki
Created: 2003-09-17 14:38:18 CEST
Size: 2.44 KB

The attachment is not viewable in your browser due to security restrictions enabled by your Bugzilla administrator.

In order to view the attachment, you first have to download it.

Actions: View
Attachments on bug 61: 8