The Coq mailing list

[Pierre-Marie Pédrot <pierre-marie.pedrot AT inria.fr>]

Hello,

On 22/06/2012 09:59, Alan Schmitt wrote:
> I'm writing a plugin where at some point I need to find the
> module_path of the current module. Is there function to do this?

I think what you're looking for is the Lib.cwd function.

> By the way, I've tried to find this reading the .mli files of the Coq
> distribution. Is there some other documentation for writing plugins?

The only tutorial I know of is the one by Thomas Braibant that can be
found at:

https://github.com/braibant/coq-tutorial-ml-tactics

Otherwise, Coq is quite poorly documented, and I guess asking directly
to developers on Coq-dev is the best way to go. Any documentation
resulting of such discussions is therefore welcome.

PMP

Attachment: signature.asc
Description: OpenPGP digital signature