Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] disable automatic introduction?

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] disable automatic introduction?


Chronological Thread 
  • From: Pierre Boutillier <pierre.boutillier AT pps.univ-paris-diderot.fr>
  • To: coq-club AT inria.fr
  • Subject: Re: [Coq-Club] disable automatic introduction?
  • Date: Mon, 20 Oct 2014 22:22:49 +0200

Le 20 oct. 2014 à 20:57, Leonardo Rodriguez <leonardomatiasrodriguez AT gmail.com> a écrit :

Unset Automatic Introduction.
Have you tried this exact command? It should work !
Pierre B.

Archive powered by MHonArc 2.6.18.

Top of Page