Package: proofgeneral-coq
Version: 3.5-4.1
Severity: normal
Hello,
when I run proofgeneral and try to do anything (like opening an empty
file, and
selecting print, or opening some proof and runnining "next"), emacs hangs.
The only thing that revives him is killing the "coqtop" process.
Regards
Jiri Palecek
-- System Information:
Debian Release: lenny/sid
APT prefers testing
APT policy: (990, 'testing'), (500, 'unstable'), (1, 'experimental')
Architecture: i386 (i686)
Kernel: Linux 2.6.20.3-rt8 (PREEMPT)
Locale: LANG=cs_CZ, LC_CTYPE=cs_CZ (charmap=ISO-8859-2) (ignored: LC_ALL
set to cs_CZ)
Shell: /bin/sh linked to /bin/dash
Versions of packages proofgeneral-coq depends on:
ii proofgeneral 3.5-4.1 A generic interface for proof
assi
Versions of packages proofgeneral-coq recommends:
ii coq 8.1+dfsg-5 proof assistant for
higher-order l
-- no debconf information
