comparison src/sources @ 764:7f653298dd66

C FFI compiler options
author Adam Chlipala <adamc@hcoop.net>
date Thu, 30 Apr 2009 17:15:14 -0400
parents 5819fb63c93a
children 346cf1908a17
comparison
equal deleted inserted replaced
763:af41ec2f302a 764:7f653298dd66
10 order.sig 10 order.sig
11 order.sml 11 order.sml
12 12
13 errormsg.sig 13 errormsg.sig
14 errormsg.sml 14 errormsg.sml
15
16 settings.sig
17 settings.sml
15 18
16 print.sig 19 print.sig
17 print.sml 20 print.sml
18 21
19 prim.sig 22 prim.sig