On Wed, 29 May 2013, Lawrence Paulson wrote:
I have just taken a look at the crash logs, and it's clear that some
dynamic libraries from a previous installation had got loaded along with
the latest ones.
Where did you see that in the log?
There is the following near the end, but it looks fine so far:
Binary Images:
0x1000 - 0x56aff7 +poly (???) <7513623B-C8EF-B2EE-7AB8-86D56D558A10>
/Users/USER/*/poly
0x59b000 - 0x5fbfeb +libpolyml.4.dylib (5)
<2E0AD632-82FD-C839-A4EF-7C7D917E4C07> /Users/USER/*/libpolyml.4.dylib
0x1100000 - 0x1102fff +libsha1.so (0) <F18686EA-3708-0005-8488-0829107C5FFB>
/Users/USER/*/libsha1.so
Maybe /Users/USER/* is just some anonymized version of the real locations.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
