coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Packaging new tactics?

From: Adam Chlipala <adamc AT cs.berkeley.edu>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club] Packaging new tactics?
Date: Fri, 07 Oct 2005 07:17:29 -0700
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

I've managed to decipher the relevant parts of the Coq source code well enough to implement a new tactic in OCaml. However, I had to modify the Makefile and basically make it "built-in" to use it.

Is there a better way for me to do things so that I can distribute my tactic as a "plug-in"?

[Coq-Club] Packaging new tactics?, Adam Chlipala
- Re: [Coq-Club] Packaging new tactics?, Pierre Courtieu