Package: proofgeneral-coq Version: 3.5-3 Severity: important Tags: l10n
When I am trying to send some text to Coq (with C-c RET), under an UTF-8 locale (tested with en_US.UTF-8 and fr_FR.UTF-8), emacs hangs. More precisely, here is what I am doing: emacs /tmp/newfile.v where /tmp/newfile.v does not exists yet. In emacs, type 'Print plus.' followed by RET then C-c RET: emacs hangs. With '[EMAIL PROTECTED] emacs /tmp/newfile.v &' and the same text, emacs responds normally (it splits the frame, opening a '*coq-response*' window, giving the definition of plus. With 'LC_ALL=en_US emacs /tmp/newfile.v', everything goes fine too, while with LC_ALL=en_US.UTF-8 emacs hangs as for fr_FR.UTF-8. The problem is the same if you open an already existing file and with other coq commands (Require, Definition, Theorem, ...). FYI, here is the content of my /etc/locale.gen: ------------------------------------------------------------ fr_FR.UTF-8 UTF-8 en_US ISO-8859-1 en_US.UTF-8 UTF-8 eu_FR ISO-8859-1 eu_FR.UTF-8 UTF-8 [EMAIL PROTECTED] ISO-8859-15 fr_FR ISO-8859-1 [EMAIL PROTECTED] ISO-8859-15 ------------------------------------------------------------ -- System Information: Debian Release: testing/unstable APT prefers testing APT policy: (500, 'testing') Architecture: i386 (i686) Shell: /bin/sh linked to /bin/bash Kernel: Linux 2.6.12-1-686 Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8) Versions of packages proofgeneral-coq depends on: ii proofgeneral 3.5-3 A generic interface for proof assi Versions of packages proofgeneral-coq recommends: ii coq 8.0pl3-1 proof assistant for higher-order l -- no debconf information -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
