Revision 2c9e18bdefb96b8d8ea591ac05cabd8e5a991d32 authored by Marco Danelutto on 28 October 2011, 20:34:56 UTC, committed by Roberto Di Cosmo on 07 November 2011, 20:51:23 UTC
Needs autoconf and support for different OSs.
1 parent cd664c1
File | Mode | Size |
---|---|---|
example | ||
.depend | -rw-r--r-- | 159 bytes |
.gitignore | -rw-r--r-- | 15 bytes |
Changelog | -rw-r--r-- | 320 bytes |
INSTALL | -rw-r--r-- | 92 bytes |
LICENSE | -rw-r--r-- | 30.4 KB |
META | -rw-r--r-- | 183 bytes |
Makefile | -rw-r--r-- | 1.5 KB |
README | -rw-r--r-- | 4.3 KB |
bytearray.ml | -rw-r--r-- | 2.7 KB |
bytearray.mli | -rw-r--r-- | 671 bytes |
bytearray_stubs.c | -rw-r--r-- | 1.5 KB |
parmap.ml | -rw-r--r-- | 7.7 KB |
parmap.mli | -rw-r--r-- | 2.8 KB |
setcore.c | -rw-r--r-- | 640 bytes |
setcore.mli | -rw-r--r-- | 163 bytes |
Computing file changes ...