Stefan Monnier <monn...@iro.umontreal.ca> 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
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel

Reply via email to