coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: coq sans INIT

From: Jean-Christophe Filliatre <Jean-Christophe.Filliatre AT lri.fr>
To: Olivier PONS <Olivier.Pons AT sophia.inria.fr>
Cc: coq-club AT pauillac.inria.fr
Subject: Re: coq sans INIT
Date: Fri, 23 Jan 1998 09:15:25 +0100

> Ya t'il un  moyen simple de  lancer Coq (et  coqc) sans que tout les
> fichiers de INIT soient charges. En fait je voudrait pouvoir charger
> une version modifiee de Peano sans qu'elle  interfere avec celle qui
> se trouve dans INIT.

coqtop -is barestate

Amicalement,
--
Jean-Christophe FILLIATRE

mailto:Jean-Christophe.Filliatre AT lri.fr
  http://www.lri.fr/~filliatr

coq sans INIT, Olivier PONS
- Re: coq sans INIT, Jean-Christophe Filliatre