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 ;;;###autoload (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 ProofGeneral-devel@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.
