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:	Documentation	Assignee:	John Håkansson <johnh>
Status:	RESOLVED FIXED
Severity:	minor
Priority:	P4
Version:	3.4.7
Hardware:	All
OS:	All
Architecture:

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
uppaal2k.jar:com/uppaal/resource/help/System_Descriptions/Expressions.html,
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.