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
