Skip to Content.

Sympa Menu

coq-club - Gallina .g files?

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Gallina .g files?

chronological Thread

From: "Randy Pollack" <rap AT dcs.ed.ac.uk>
To: coq-club AT pauillac.inria.fr
Subject: Gallina .g files?
Date: Wed, 3 Feb 1999 18:09:35 GMT

What is the intended use of ".g" files created from ".v" files by the
"gallina" command?

Randy

Gallina .g files?, Randy Pollack
- Re: Gallina .g files?, Jean-Christophe Filliatre

Archive powered by MhonArc 2.6.16.