[isabelle-dev] misc problems

Lawrence Paulson lp15 at cam.ac.uk
Sun Mar 18 11:34:41 CET 2012

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


-------------- 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>

More information about the isabelle-dev mailing list