[plt-scheme] Double Spaced Print Definitions in Latest 3.99.0.9

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

Robby

On Jan 16, 2008 3:50 PM, Doug Williams <m.douglas.williams at gmail.com> wrote:
> I just loaded the latest build of 3.99.0.9 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,
> 3.99.0.9-svn5Jan2006, 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 3.99.0.9.  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
>
>