Tue, 23 Mar 2010 22:43:53 +0100 | boehmes | use ml_platform instead of ml_system to distinguish library names | file | diff | annotate |
Tue, 23 Mar 2010 20:46:08 +0100 | boehmes | use LONG rather than INT to represent the C datatype size_t | file | diff | annotate |
Thu, 11 Mar 2010 16:56:22 +0100 | wenzelm | absolute lib_path relative to ML_HOME -- for improved robustness; | file | diff | annotate |
Sun, 07 Mar 2010 15:51:29 +0100 | wenzelm | Digesting strings according to SHA-1. | file | diff | annotate |