Bug#605024: coq: coq.el requires nonexistent hilit19

[Mehdi Dogguy <mehdi@dogguy.org>]

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 hilit19 in line
> 140, which seems not to be available in squeeze. Therefore loading any
> *.v file or starting coq-mode manually stops with the error
>
> File mode specification error: (file-error "Cannot open load file"
> "hilit19")

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.

> This problem is wrongly attributed to proofgeneral, see #605014 and
> #582768.

Right. I'm merging the bugreports.

Regards,

--
Mehdi Dogguy مهدي الدڤي
http://dogguy.org/