At 05:08 PM 10/17/00 -0400, Stephane wrote:
>Hello Carsten,
>
>you are right.
>Here is a patch to fix this.
>
>Paul,
>i also added support for $ in java identifiers according to SUN's java
>language spec
>but i am not sure it is relevant (mostly for unix systems).

Thanks, Steff. I plan to include your fix in the upcoming release.

- Paul

Reply via email to