[isabelle-dev] misc problems

[Lawrence Paulson]

It looks like I was running 5.3.0, but I found the latest version inside the bundle. So that's one problem solved.
Larry

On 19 Mar 2012, at 08:38, Jasmin Christian Blanchette wrote:

> 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
>