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

A minimal example to demo the bug
declarations_syntax_highlight_comment_bug.xml (text/xml), 873 bytes, created by Erik Ramsgaard Wognsen on 2015-04-30 13:19:27 CEST
(hide)
 
Creator: Erik Ramsgaard Wognsen
Created: 2015-04-30 13:19:27 CEST
Size: 873 bytes

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 594: 277