coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Vadim Zaliva <vzaliva AT cmu.edu>
- To: coq-club AT inria.fr
- Subject: Re: [Coq-Club] obligations
- Date: Tue, 10 May 2016 09:17:57 -0700
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=vadim.zaliva AT west.cmu.edu; spf=Pass smtp.mailfrom=vadim.zaliva AT west.cmu.edu; spf=None smtp.helo=postmaster AT mail-wm0-f42.google.com
- Ironport-phdr: 9a23:NjUPvRBThPN+WqhsTJAhUyQJP3N1i/DPJgcQr6AfoPdwSP74psbcNUDSrc9gkEXOFd2CrakU2qyP7+uxBiQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JTmkbnusMyMKyxzxxODIppKZC2sqgvQssREyaBDEY0WjiXzn31TZu5NznlpL1/A1zz158O34YIxu38I46FppIZ8VvDxeL19RrhFBhwnNXo07Yvlr0rtVwyKs0UVXmQT2ihBBwnb5VmuQIX4tirkv8J23TTcMMHrG+NnEQ++5rtmHUe7wBwMMCQ0pTna
I have filed a bug for this but I am looking for a workaround other than switching
back to 8.4 :(
--
CMU ECE PhD candidate
Mobile: +1(510)220-1060
- [Coq-Club] obligations, Vadim Zaliva, 05/10/2016
- Re: [Coq-Club] obligations, Matthieu Sozeau, 05/10/2016
- Re: [Coq-Club] obligations, Daniel Schepler, 05/10/2016
- Re: [Coq-Club] obligations, Vadim Zaliva, 05/10/2016
- Re: [Coq-Club] obligations, Vadim Zaliva, 05/10/2016
- Re: [Coq-Club] obligations, Matthieu Sozeau, 05/10/2016
- Re: [Coq-Club] obligations, Vadim Zaliva, 05/11/2016
- Re: [Coq-Club] obligations, Vadim Zaliva, 05/12/2016
- Re: [Coq-Club] obligations, Matthieu Sozeau, 05/12/2016
- Re: [Coq-Club] obligations, Vadim Zaliva, 05/12/2016
- Re: [Coq-Club] obligations, Vadim Zaliva, 05/11/2016
- Re: [Coq-Club] obligations, Matthieu Sozeau, 05/10/2016
- Re: [Coq-Club] obligations, Vadim Zaliva, 05/10/2016
- Re: [Coq-Club] obligations, Vadim Zaliva, 05/10/2016
Archive powered by MHonArc 2.6.18.