log src/shake.sig

age author description
2010-01-03 Adam Chlipala Proper C-side deserialization; Shake.sliceDb
2008-06-08 Adam Chlipala Tree-shaking