coq-club AT inria.fr

Subject: The Coq mailing list

List archive

From: Jason Gross <jasongross9 AT gmail.com>
To: coq-club <coq-club AT inria.fr>
Subject: [Coq-Club] 8.5 path inclusion options - does there exist something weaker than -Q?
Date: Thu, 19 Feb 2015 14:54:25 -0500

Hi,

Is there something like -Q . "", except not recursive in paths? That is, I don't want any .v files in subdirectories bound to names.

Thanks,

Jason

[Coq-Club] 8.5 path inclusion options - does there exist something weaker than -Q?, Jason Gross, 02/19/2015