Ok, it makes sense.

But how comes "/** " (with a space) isn't fontified, when it is in other
modes like java ? There is no obvious difference between :
/**
* some comment */
and
/**
* some comment */
, but they are fontified differently (the second has a space after the /**).
2009/5/29 Stefan Monnier <monnier@iro.umontreal.ca>

> > This behavior is certainly unexpected : I expect all comments to be
> > fontified with the same face.  Am I right in thinking it's a bug ?
>
> It's a feature. This comment format is used by doxygen (or somesuch).
>
>
>        Stefan
>