Opened 5 years ago

Closed 4 years ago

#7 closed defect (fixed)

support unicode for identifiers (Java)

Reported by: lama Owned by: somebody
Priority: normal Component: jplag-frontends
Keywords: Cc: f.j.wiesman@…

Description

could you please support unicode for identifiers? Occasionally there is a student who uses an umlaut in an identifier.
It's no fun to hand edit my students' submissions to get rid of errors that are in fact not errors.

Change History (2)

comment:1 Changed 4 years ago by lama

  • Component changed from jplag-server to jplag-frontends

comment:2 Changed 4 years ago by lama

  • Resolution set to fixed
  • Status changed from new to closed

will be included in Java 1.7 front end - see ticket #1

Note: See TracTickets for help on using tickets.