> Hm, I can't think of any reason, why not to use <type>integer</type>. > In /language/types.xml it is used this way and correctly renderd by > the dsl-sheets (html-common.dsl)line 160: > ;; Linking types to the correct place > ... > One difference: > <type>integer</type>: the resulting link is bold, while > <link linkend="language.types.integer">integer</link> is "normal". > > Is this the reason not to use the short notation? :-( > BTW.: whats the reason for rendering <type>integer</type> bold?
I myself have no problems with bold. So we can use <type>integer</type> as it seems. Goba
