Re: spec for @inlinehtml etc.

[Patrice Dumas]

One remark as I implement the changes, something that worked previously

@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?

-- 
Pat