low priority

Stephen Weeks MLton@sourcelight.com
Thu, 28 Jun 2001 09:50:35 -0700


> It  is  true  that the user-guide.ps.gz now is set for letter-size paper, but
> the margins of the document look wrong to me.   I.e.,  the  vertical  margins
> look too large to me.  Am I insane?

They look fine to me.  I recently did increase them from previous versions.
Anyone else?