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/ -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
