[plt-scheme] Double Spaced Print Definitions in Latest

From: Robby Findler (robby at cs.uchicago.edu)
Date: Wed Jan 16 16:54:54 EST 2008

Not what you were hoping to hear, I guess, but it looks like that IP
is owned by GE.


On Jan 16, 2008 3:50 PM, Doug Williams <m.douglas.williams at gmail.com> wrote:
> I just loaded the latest build of and whenever I use 'Print
> Definitions ...', the output is double-spaced.  I couldn't find any place in
> the preferences to set this.  The previous version I was using,
>, didn't double space.  I also have V372 loaded and it
> single-spaces.  I believe they share preferences and they would use the same
> printer defaults.  So, I don't think it's anything I've accidentally
> changed,
> Doug
> P.S. I wonder who has the IP address  My e-mail thinks it's an IP
> address and converts it to a link anytime it sees it.
> _________________________________________________
>   For list-related administrative tasks:
>   http://list.cs.brown.edu/mailman/listinfo/plt-scheme

Posted on the users mailing list.