[isabelle] x-symbols and AFS?



Hi,

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
  Warning (emacs): X-Symbol characters with registry "iso8859-3" are not used
  Warning (emacs): X-Symbol characters with registry "iso8859-9" are not used
  Warning (emacs): X-Symbol characters with registry "iso8859-15" are not used
  Warning (emacs): X-Symbol characters with registry "xsymb-xsymb1" are not used

Symbols are not displayed in the .thy buffer: \<forall>, \<And>, etc.

/afs/inf.ed.ac.uk/user/r/rpollack/work/tools/isabelle2009/ProofGeneral/x-symbol/etc/pcf/
exists, and has expected permissions

Thanks for any help.
Randy

-- 
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.






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