Thu, 14 Dec 2017 14:34:56 +0100 |
wenzelm |
proper exception;
|
file |
diff |
annotate
|
Fri, 21 Oct 2016 16:46:02 +0200 |
wenzelm |
updated to new structure Foreign;
|
file |
diff |
annotate
|
Mon, 17 Oct 2016 15:46:51 +0200 |
wenzelm |
accomodate Poly/ML repository version, which treats singleton strings as boxed;
|
file |
diff |
annotate
|
Sat, 02 Apr 2016 21:10:07 +0200 |
wenzelm |
careful export of type-dependent functions, without losing their special status;
|
file |
diff |
annotate
|
Thu, 24 Mar 2016 13:08:12 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Fri, 18 Mar 2016 17:11:30 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Fri, 18 Mar 2016 16:26:35 +0100 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Thu, 24 Jul 2014 10:38:46 +0200 |
wenzelm |
less authentic SHA1.digest: trust Scala side on blobs and avoid re-calculation via Foreign Language Interface, which might be a cause of problems;
|
file |
diff |
annotate
|
Sun, 13 Mar 2011 20:21:24 +0100 |
wenzelm |
explicit type SHA1.digest;
|
file |
diff |
annotate
|
Sun, 07 Mar 2010 15:51:29 +0100 |
wenzelm |
Digesting strings according to SHA-1.
|
file |
diff |
annotate
|