log src/compiler.mlb

age author description
2011-08-15 Adam Chlipala Compiler frees as much memory as possible before passing control to C compiler
2009-05-10 Adam Chlipala Use Ur/Web library .mlb