[isabelle-dev] misc problems
lp15 at cam.ac.uk
Mon Mar 19 10:07:32 CET 2012
It looks like I was running 5.3.0, but I found the latest version inside the bundle. So that's one problem solved.
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.
More information about the isabelle-dev