[plt-scheme] Re: ProfessorJ indentation: THANK YOU

> Message: 4
> Date: Fri, 14 Sep 2007 10:59:23 -0700
> From: John Clements <clements at brinckerhoff.org>
> Subject: [plt-scheme] ProfessorJ indentation: THANK YOU.
> To: mzscheme Mailing List <plt-scheme at list.cs.brown.edu>
> Message-ID: <126510E3-822C-43BD-9CA3-15178819B3C2 at brinckerhoff.org>
> Content-Type: text/plain; charset="us-ascii"
>
> I want to publicly thank Kathy for removing one of the most obnoxious
> obstacles to teaching with ProfessorJ by adding decent auto-
> indentation.  Small things like this can really irritate students and
> drive them away from a tool.
>
> Thanks!
>
> John Clements
>
Thanks should also go to Robby, who implemented all the parts that  
connect the indenter to DrScheme.

It is indeed nice to not press space so often.

-Kathy