Re: spec for @inlinehtml etc.

[Karl Berry]

    @code{
    @html
    in html
    @end html
    }
    does not work anymore since a block command is not accepted in a style
    command.  I think, however that it is correct since @inlineraw{html, }
    should be used in that context instead.  Agreed?

Agreed.  I just hope no one actually used it anyway.

k