Package: proofgeneral Version: 4.3~pre131011-0.2 Severity: normal Dear Maintainer,
I have the option to automatically compiled dependant Coq files in import enabled. However, when there is an error compiling these files, ProofGeneral does not show that error. Instead, the following appears in the minibuffer at the bottom: Buffer is read-only: #<buffer *coq-compile-response*> This used to work fine quite a while ago, but at some point, it broke. Kind regards, Ralf -- System Information: Debian Release: 8.0 APT prefers testing APT policy: (990, 'testing'), (100, 'unstable') Architecture: amd64 (x86_64) Foreign Architectures: i386 Kernel: Linux 3.16.0-4-amd64 (SMP w/4 CPU cores) Locale: LANG=de_DE.utf8, LC_CTYPE=de_DE.utf8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system) Versions of packages proofgeneral depends on: ii emacs24 24.4+1-4.1 ii mmm-mode 0.5.1-2 proofgeneral recommends no packages. Versions of packages proofgeneral suggests: pn proofgeneral-doc <none> -- no debconf information -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
