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 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 think I've fixed this for the next build. Matthew
Posted on the users mailing list. |
|