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

Bug 131

Summary: Use '>' and '<' in HTML documentation
Product: UPPAAL Reporter: John Håkansson <johnh>
Component: DocumentationAssignee: John Håkansson <johnh>
Severity: minor    
Priority: P4    
Version: 3.4.7   
Hardware: All   
OS: All   

Description John Håkansson 2005-02-21 17:14:20 CET
The help item "Language Reference" -> "Expressions" has a problem with the
Precedence table.  The characters '<' and '>' are not expressed with &lt;
and &gt; in the HTML file
causing the help viewer to not display them properly (all < symbols are
not shown).
Comment 1 John Håkansson 2005-02-21 17:15:27 CET
I will update this in the CVS for upcomming releases.
Comment 2 John Håkansson 2005-03-11 14:02:51 CET
Updated file in CVS with "&gt;" and "&lt;" in precedence table.
Comment 3 Gerd Behrmann 2005-03-30 22:07:29 CEST
I'm reopening the bug, since the 3.4 version has not been updated yet. 
Comment 4 Gerd Behrmann 2005-05-10 17:05:34 CEST
I have fixed in for 3.4 as well.