[isabelle] x-symbol in Carbon Emacs



Hello all,

I am on a brand new MacBook Pro (OS 10.5.3) using Isabelle 2007 and
the current release of Carbon Emacs.

x-symbol fails to load (from the ProofGeneral menu) under Carbon Emacs.
In the bottom window, I get the error:

Warning (emacs): X-Symbol characters with registry "xsymb-xsymb1" are not used

On the line at the very bottom, I get:

Symbol's value as variable is void: ccl-encode-fake-xsymb1-font


Does anyone know what might cause this?

Thanks in advance,
Chris





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.