Re: [isabelle] x-symbols and AFS?
On Wed, 15 Jul 2009, Randy Pollack wrote:
My computer support group just moved my home directory from NFS to AFS
(distributed file system).
I'm having trouble running isabelle with xsymbols. (GNU Emacs 22.3.1)
isabelle emacs -p emacs mythy.thy
In the emacs *Warnings* buffer I see
Error (x-symbol): Couldn't add /afs/inf.ed.ac.uk/user/r/rpollack/work/tools/isabelle2009/ProofGeneral/x-symbol/etc/pcf/ to X font path
exists, and has expected permissions
Strange. Maybe Emacs just does not like AFS.
You can try to use these fonts via the X11 fontserver protocol, e.g. like
this in your Isabelle settings file:
XSYMBOL_INSTALLFONTS="xset fp+ tcp/isafonts.informatik.tu-muenchen.de:7200"
This refers to a public font service at TUM.
This archive was generated by a fusion of
Pipermail (Mailman edition) and