As Emacs maintainer I recommend package maintainers to setup their
"foo-site.el" such that it is (mostly if not completely) auto-generated
by something like update-directory-autoloads.

In such a situation a simple

    (add-to-list 'completion-ignored-extensions ".vo")

in coq.el will do the trick.

Much neater idea... although at the moment our autoloads are only generated for the generic code and one might hope that e.g. using Isabelle doesn't automatically make .vo files unreadable -- in case Isabelle would use that extension for something else (it probably doesn't, but).

 - D.
ProofGeneral-devel mailing list

The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.

Reply via email to