log doc/manual.tex

age author description
Sun, 25 May 2014 09:21:56 -0400 Adam Chlipala Warn about MLton memory usage
Fri, 02 May 2014 19:19:09 -0400 Adam Chlipala New lessSafeFfi