annotate src/ur/feedFfi.urs @ 12:a40cf9c8d615

Update to newer Autoconf
author Adam Chlipala <adam@chlipala.net>
date Tue, 19 Jul 2011 09:29:34 -0400
parents ad85b8813e8a
children
rev   line source
adam@0 1 val init : transaction {}
adam@0 2 val fetch : string -> transaction string