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
ProofGeneral-devel mailing list
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.