[plt-scheme] Double Spaced Print Definitions in Latest

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Wed Jan 16 18:21:31 EST 2008

At Wed, 16 Jan 2008 14:50:26 -0700, "Doug Williams" 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 think I've fixed this for the next build.


Posted on the users mailing list.