coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] 8.5 path inclusion options - does there exist something weaker than -Q?
Chronological Thread
- 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
Archive powered by MHonArc 2.6.18.