log src/compiler.sig

age author description
Sun, 26 Apr 2009 10:45:59 -0400 Adam Chlipala Reading blobs from the database
Thu, 16 Apr 2009 15:29:39 -0400 Adam Chlipala Effectness analysis
Sat, 04 Apr 2009 12:54:39 -0400 Adam Chlipala Fix overzealous Marshalcheck; garbage-collect string-embedded closures when no dyns are active