src/Pure/General/sha1.scala
Sat, 09 Jul 2011 12:56:51 +0200 wenzelm tuned signature;
Sun, 13 Mar 2011 20:21:24 +0100 wenzelm explicit type SHA1.digest;
Tue, 17 Aug 2010 23:23:29 +0200 wenzelm digesting strings according to SHA-1 -- Scala version;
less more (0) tip