coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: "Soegtrop, Michael" <michael.soegtrop AT intel.com>
- To: "coq-club AT inria.fr" <coq-club AT inria.fr>
- Subject: RE: [Coq-Club] Simplification of terms generated with tactics
- Date: Tue, 20 Jan 2015 11:17:00 +0000
- Accept-language: de-DE, en-US
|
Dear Pierre,
yes, this regression test log is very interesting! Just some things don’t seem to be consistent with my build experience. I need to look into this …
Thanks & best regards,
Michael |
- [Coq-Club] Simplification of terms generated with tactics, Soegtrop, Michael, 01/19/2015
- Re: [Coq-Club] Simplification of terms generated with tactics, Jonathan Leivent, 01/19/2015
- RE: [Coq-Club] Simplification of terms generated with tactics, Soegtrop, Michael, 01/19/2015
- Re: [Coq-Club] Simplification of terms generated with tactics, Jonathan Leivent, 01/19/2015
- Re: [Coq-Club] Simplification of terms generated with tactics, Pierre Courtieu, 01/19/2015
- RE: [Coq-Club] Simplification of terms generated with tactics, Soegtrop, Michael, 01/20/2015
- Re: [Coq-Club] Simplification of terms generated with tactics, Pierre Courtieu, 01/20/2015
- RE: [Coq-Club] Simplification of terms generated with tactics, Soegtrop, Michael, 01/20/2015
- Re: [Coq-Club] Simplification of terms generated with tactics, Pierre Courtieu, 01/20/2015
- RE: [Coq-Club] Simplification of terms generated with tactics, Soegtrop, Michael, 01/20/2015
- Re: [Coq-Club] Simplification of terms generated with tactics, Pierre Courtieu, 01/19/2015
- Re: [Coq-Club] Simplification of terms generated with tactics, Jonathan Leivent, 01/19/2015
- RE: [Coq-Club] Simplification of terms generated with tactics, Soegtrop, Michael, 01/19/2015
- Re: [Coq-Club] Simplification of terms generated with tactics, Jonathan Leivent, 01/19/2015
Archive powered by MHonArc 2.6.18.