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 > _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
