[isabelle-dev] misc problems

[Jasmin Christian Blanchette]

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.

Jasmin