log tests/test.h

age author description
2009-05-02 Adam Chlipala FFI transactionals
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