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

[Stéphane Glondu <glondu@debian.org>]

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.el        |  240 ++++++++++++
>  tools/coq-font-lock.el |  137 +++++++
>  tools/coq-syntax.el    |  974 ++++++++++++++++++++++++++++++++++++++++++++++++
>  tools/coq.el           |   58 +---
>  4 files changed, 1360 insertions(+), 49 deletions(-)


Cheers,

-- 
Stéphane