#302 closed defect (invalid)
Coq mode requires hilit19.el which is not in Emacs 23
Reported by: | Ilmari Vacklin | Owned by: | David Aspinall |
---|---|---|---|
Priority: | major | Milestone: | PG-Emacs-4.0 |
Component: | 2:pg-emacs | Keywords: | |
Cc: |
Description
On Ubuntu 9.10, the emacs23 package does not include hilit19.el, which the Coq mode requires. Downloading the file and placing it on load-path gives "Invalid font or font-spec".
Note: See
TracTickets for help on using
tickets.
Thanks for reporting but I'm sorry, I can't find the dependency that you're talking about in the current CVS code, which is the one that is compatible with Emacs 23. Please test with the CVS version or a development release from http://proofgeneral.inf.ed.ac.uk/devel.
(Older releases of PG may have problems but are not supported for Emacs 23).