[isabelle-dev] misc problems

Jasmin Christian Blanchette jasmin.blanchette at gmail.com
Mon Mar 19 09:38:52 CET 2012

Hi Larry,

Am 18.03.2012 um 11:34 schrieb Lawrence Paulson:

> Another thing: what's this?
> ### load_lib </Users/lp15/isabelle/polyml/x86-darwin/libsha1.so> : dlopen(/Users/lp15/isabelle/polyml/x86-darwin/libsha1.so, 1): image not found
> ### Using slow ML implementation of SHA1.digest

What version of Poly/ML are you using? The ".so" file should be included from 5.3.0 on.


More information about the isabelle-dev mailing list