Stefan Monnier <[email protected]> writes:
> Or by those who designed Emacs with a flat namespace for features and
> library files...
Ahem!
Please don't put .../ProofGeneral/coq in the load-path, and then simply
do (require 'coq/coq).
Where is this documented? I would even say that the Elisp manual
(sect 15.7)
If the feature is not present, then `require' loads FILENAME with
`load'. If FILENAME is not supplied, then the name of the symbol
FEATURE is used as the base file name to load.
implies that require 'coq/coq should load "coq\/coq.el" instead
of "coq.el" in subdir coq.
Bye,
Hendrik
_______________________________________________
ProofGeneral-devel mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel
