[MLton-user] PDF version of guide

Henry Cejtin henry.cejtin@sbcglobal.net
Fri, 28 Oct 2005 16:52:33 -0500


Actually, I would just prefer hyphenation to be turned off.  I think that
hyphenation is basically always a bad idea.