src/Pure/General/sha1_polyml.ML
Sat, 23 Jul 2011 17:22:28 +0200 wenzelm explicit structure ML_System;
Sun, 13 Mar 2011 20:21:24 +0100 wenzelm explicit type SHA1.digest;
Tue, 23 Mar 2010 22:43:53 +0100 boehmes use ml_platform instead of ml_system to distinguish library names
Tue, 23 Mar 2010 20:46:08 +0100 boehmes use LONG rather than INT to represent the C datatype size_t
Thu, 11 Mar 2010 16:56:22 +0100 wenzelm absolute lib_path relative to ML_HOME -- for improved robustness;
Sun, 07 Mar 2010 15:51:29 +0100 wenzelm Digesting strings according to SHA-1.
less more (0) tip