coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Cuihtlauac ALVARADO <cuihtlauac.alvarado AT francetelecom.com>
- To: coq-club AT pauillac.inria.fr
- Subject: [Coq-Club] Portage tactiques en 7.4
- Date: Tue, 4 Feb 2003 09:19:12 +0100
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
- Organization: France Telecom R&D - DTL/TAL
Bonjour et félicitations pour la release
J'utilisai pas mal de :
Grammar vernac vernac : ast :=
et de
Grammar vernac vernac : ast :=
qui ne sont plus supportés dans la 7.4. Comment faire pour porter mes
tactiques ? Vous trouverez un exemple de mon style de codage à cette
huhérelle (affichage de stats pour Term.constr) :
http://perso.wanadoo.fr/cuihtlauac.alvarado/dump-0.4.tgz
Merci
--
Cuihtlauac ALVARADO - France Telecom R&D - DTL/TAL
2, avenue Pierre Marzin - 22307 Lannion - France
Tel: +33 2 96 05 32 73 - Fax: +33 2 96 05 39 45
- [Coq-Club] Portage tactiques en 7.4, Cuihtlauac ALVARADO
- Re: [Coq-Club] Portage tactiques en 7.4, Hugo Herbelin
Archive powered by MhonArc 2.6.16.