Package: proofgeneral
Version: 3.7-3
Severity: minor
After installing proofgeneral and xemacs,
x-symbol sub/superscripts and certain brackets (for example: \<lfloor> )
arent rendered by x-symbol.
Other symbols, like \<equiv> and \<sim>, render just fine.
no (pre-lenny) "x-symbol" package is installed.
Adding the following to /etc/X11/xorg.conf fixes this:
Section "Files"
FontPath "/usr/share/xemacs21/xemacs-packages/etc/x-symbol/pcf"
EndSection
I dont have a clou wheter this is the "right" way to fix this,
but it works for me :)
Please make it work "out-of-the-bix",
Even though x-symbol/xemacs seems to be deprecated by upstream :)
Martin
-- System Information:
Debian Release: 5.0
APT prefers stable
APT policy: (500, 'stable')
Architecture: amd64 (x86_64)
Kernel: Linux 2.6.26-1-amd64 (SMP w/1 CPU core)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash
Versions of packages proofgeneral depends on:
ii debconf [debconf-2.0] 1.5.24 Debian configuration management sy
ii emacs [emacsen] 22.2+2-5 The GNU Emacs editor (metapackage)
ii emacs22-gtk [emacsen] 22.2+2-5 The GNU Emacs editor (with GTK use
ii xemacs21-mule [emacsen] 21.4.21-4 highly customizable text editor --
Versions of packages proofgeneral recommends:
ii proofgeneral-misc 3.7-3 generic interface for proof assist
Versions of packages proofgeneral suggests:
pn x-symbol <none> (no description available)
-- debconf information:
* proofgeneral/autoload: true
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
