On Mon, 19 Mar 2012, Lawrence Paulson wrote:
I am using OS X Lion. But the system software is the same on machines
where it works and those where it doesn't.
There are 29 of these fonts. Which ones are specifically needed for
Isabelle?
Do you mean "Isabelle" or "Proof General / Emacs" here? The official font
treatment of Isabelle is that of the Scala layer.
Anyway, giving a demo usually works better with the fully integrated
bundle of our official download. I also try to avoid showing ancient
Emacs things in public, to people who were not exposed to Proof General
before.
Does the official Isabelle2011-1 work smoothly on you Lion Laptop? (Apple
tends to play nasty tricks.)
Makarius
_______________________________________________
isabelle-dev mailing list
[email protected]
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
