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