On Tue, Sep 15, 2009 at 7:15 PM, Carl Eastlund <c...@ccs.neu.edu> wrote: > Not really, if you count the time it'd take me to look up in Help Desk > how to do that. I already know how to type the alphabet; I haven't > memorized DrScheme's Unicode shortcuts. Nor does every programmer > interested in the contract system necessarily use DrScheme as their > primary editor.
These shortcuts aren't specific to DrScheme, though, and work fine in Emacs with the TeX input mode. (I'm only chiming in because I actually really appreciate that DrScheme supports the same shortcuts for unicode characters that I'm used to in Emacs.) Anthony _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
