Le 26/11/2010 15:17, Mehdi Dogguy a écrit :
> This seems to be fixed in Coq 8.3 (in experimental). We will try to
> backport a fix and ask the Release Team for an unblock.
Unfortunately, the emacs mode in v8.3 has completely changed, and I
cannot guarantee that it works with v8.2:
> tools/coq-db
reassign 605014 coq
reassign 582768 coq
forcemerge 605024 605014 582768
thanks
On 26/11/2010 14:40, Hendrik Tews wrote:
The file /etc/emacs/site-start.d/50coq.el sets coq-mode for *.v files
and declares coq-mode to autoload coq.el. The file
/usr/share/emacs/site-lisp/coq/coq.el however requires
Package: coq
Version: 8.2.pl2+dfsg-1
Severity: normal
The file /etc/emacs/site-start.d/50coq.el sets coq-mode for *.v
files and declares coq-mode to autoload coq.el. The file
/usr/share/emacs/site-lisp/coq/coq.el however requires hilit19 in
line 140, which seems not to be available in squeeze. The
3 matches
Mail list logo
