| From: Paulo J. Matos (pocmatos at gmail.com) Date: Tue Apr 14 15:31:11 EDT 2009 |
|
Hi all, Without modifying DrScheme, is there any simple way to input unicode characters? (and if yes, can these characters be used in identifiers?) Cheers, -- Paulo Jorge Matos - pocmatos at gmail.com Webpage: http://www.personal.soton.ac.uk/pocm
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}