#205 closed defect (duplicate)
x-symbol fails in Carbon Emacs
| Reported by: | Generic Isabelle user | Owned by: | David Aspinall |
|---|---|---|---|
| Priority: | major | Milestone: | PG-Emacs-3.7.1 |
| Component: | 2:pg-emacs | Keywords: | carbon emacs x-symbol |
| Cc: |
Description
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
Thanks.
Note: See
TracTickets for help on using
tickets.
X-Symbol works for Carbon Emacs version of GNU Emacs 22.X
The latest release is 23.X beta series, so this problem is a (probable) duplicate of #196.
It is unlikely to be fixed, I recommend using the Unicode Symbols method instead.