coq-club AT inria.fr

Subject: The Coq mailing list

List archive

From: Michael Shulman <shulman AT sandiego.edu>
To: Coq Club <coq-club AT inria.fr>
Subject: [Coq-Club] command-line binaries on MacOS
Date: Wed, 18 Nov 2015 10:39:02 -0800
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=viritrilbia AT gmail.com; spf=Pass smtp.mailfrom=viritrilbia AT gmail.com; spf=None smtp.helo=postmaster AT mail-lf0-f46.google.com
Ironport-phdr: 9a23:7ZvWCRNlygdreuQ5Bucl6mtUPXoX/o7sNwtQ0KIMzox0KPv/rarrMEGX3/hxlliBBdydsKIZzbSP+Pm5AyQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JTqkb7rsMSKOU1hv3mUX/BbFF2OtwLft80b08NJC50a7V/3mEZOYPlc3mhyJFiezF7W78a0+4N/oWwL46pyv+YJa6jxfrw5QLpEF3xmdjltvIy4/SXEGCCI/zM3Vngc2k5DBBGA5xXnVL/wtDH7v6xzwn/JE9fxSOURWD+i5qpvACTolSMCPjhxpHrXl8h1haRzuxunqx1yzImSbY2IYqktNpjBdM8XEDISFv1aUDZMV8blN9MC

Does the MacOS binary installer also contain the command-line programs
coqtop, coqc, etc.? If so, where are they?

[Coq-Club] command-line binaries on MacOS, Michael Shulman, 11/18/2015
- Re: [Coq-Club] command-line binaries on MacOS, Colin S. Gordon, 11/18/2015