Stefan Monnier <> writes:

   > Or by those who designed Emacs with a flat namespace for features and
   > library files...

   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.


ProofGeneral-devel mailing list

Reply via email to