[isabelle-dev] misc problems

[Lawrence Paulson]

I'm doing a demo this week, and find that some symbols don't display properly on my laptop. I've installed the STIX fonts and tried to make everything the same as my desktop. Most symbols work, but not \<lesssim> or even \<times>. Any ideas?

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

Larry

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20120318/942d0bf0/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Screen Shot 2012-03-18 at 10.03.39.jpg
Type: image/jpg
Size: 71102 bytes
Desc: not available
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20120318/942d0bf0/attachment-0001.jpg>