log tests/cffi.urp

age author description
2009-05-02 Adam Chlipala Add 'library' directive
2009-05-02 Adam Chlipala More FFI compiler options
2009-05-02 Adam Chlipala Successfully influenced effectful-ness status of FFI func
2009-04-30 Adam Chlipala C FFI compiler options