changeset | eac1974924bb |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | FFI transactionals |
files |
changeset | d27ed5ddeb52 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Add 'library' directive |
files |