log src/main.mlton.sml

age author description
2012-01-13 Adam Chlipala -dumpSource flag; Especialize tweak: may specialize any argument sequence ending in a value of function-containing type
2011-08-15 Adam Chlipala Compiler frees as much memory as possible before passing control to C compiler