diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-05-02 18:41:21 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-05-02 18:41:21 -0400 |
| commit | 5bec72c1ee13e48a9e11c3c1b924020436c827fe (patch) | |
| tree | 2cdc71a8815189be0d6ee18e920b57dad252c2b7 /demo/batch.urs | |
| parent | 2d37bf0ef2c634819293a191eff9799934b08346 (diff) | |
FFI transactionals
Diffstat (limited to 'demo/batch.urs')
0 files changed, 0 insertions, 0 deletions