Skip to Content.
Sympa Menu

ssreflect - Re: [ssreflect] addn0 in Hint

Subject: Ssreflect Users Discussion List

List archive

Re: [ssreflect] addn0 in Hint


Chronological Thread 
  • From: Florent Hivert <>
  • To: Anton Trunov <>, "" <>
  • Subject: Re: [ssreflect] addn0 in Hint
  • Date: Thu, 1 Aug 2019 11:20:37 +0200
  • Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None ; spf=Pass ; spf=None
  • Ironport-phdr: 9a23:PGhknxP8BEuZr7AS2/Il6mtUPXoX/o7sNwtQ0KIMzox0Ivr+rarrMEGX3/hxlliBBdydt6sezbuJ+Pm6EUU7or+5+EgYd5JNUxJXwe43pCcHRPC/NEvgMfTxZDY7FskRHHVs/nW8LFQHUJ2mPw6arXK99yMdFQviPgRpOOv1BpTSj8Oq3Oyu5pHfeQpFiCejbb9oKBi7rwrdutQIjYB/Nqs/1xzFr2dSde9L321oP1WTnxj95se04pFu9jlbtuwi+cBdT6j0Zrw0QrNEAjsoNWA1/9DrugLYTQST/HscU34ZnQRODgPY8Rz1RJbxsi/9tupgxCmXOND9QL4oVTi+6apgVQTlgzkbOTEn7G7Xi9RwjKNFrxKnuxx/2JPfbIWMOPZjYq/RYdYWSGxcVchTSiNBGJuxYYUPAeQfIOhWrIf9qFQSohSjBwajCvjiyiNUinPqwaE2z/4sHR/A0Qc9H9wOqnPUrNDtOakSVeC1y7PIwivFb/NKxDzz6onIcg4/rvGWQbJ7bM3cx0krFwPClFWft4rlPy+P2uoPsmib8fRvVfizi2M8rwFxuDmvyt0iionTn48YzE3P+yt+wIYwP9K4SUh7bMarEJtRqyGaN5Z2Tdg4T250vyY6z7sLsoO4cigS0Jkr2gDTZvidf4SV4B/uVPydLSp4iX5/Zb6zmxC/+lW6xOLmTMm7ylNKozJFktbSsnAN0ATe6s2dRft8+keuxzmO1xzJ5uFAO0A0lLDXK5A7wrIol5oTt1rMHjPulUnrkqObcl8o9vWq5unneLnqu5+RO5Vphg3iKqgun9awAeU8MggARWib/uG82aXj8039R7VKlOM5kq/FsJzAJ8obp7C5DBFP0oY/8Bu/Cy2m0NUCkXkJNlJJYAiHgJTxO1HSPPD4Cu+yg0+3kDdx2f/GMLnhDYvRIXjfi7rhZrZ860tEyAUp19xf5pRUCqsAIP3pQEPxusbYXVcFNFmdxfrgDp1BzJ4YXnzHVqafLKTU91bO+vgyJe6STIAQsTf5bfMi4qiqxTUigkUQc62k1oc/bWuiW/VgOUSQJ3vqmNYIV2kQ9EJqV/fwhVOGXDVPT3OpRec94Cs6AcSnC53CT8ajmurS8j28G8h4YmdcB1aQWVfpaYieR79YRiaVOMJnjnokVKasUZMJ0Quv8gHgnek0ZtHI8zEV4MqwnON+4PfewFRrrWQtUpatllqVRmQxpVsmAj872Kcm/x54w1aH3LhkxfhCFJpd/aERC1ZoBdvn1+V/TuvKdEfEd9aNRkyhR4X0BSswCNwrkYZXPxRNXu66hxWG5BKERqcPnuzZAIY1tKzGjSD8

On Thu, Aug 01, 2019 at 11:59:34AM +0300, Anton Trunov wrote:
> Dear Florent,
>
> Indeed, it was on purpose.
> The hints that used to make it work have been removed in PR #344:
> https://github.com/math-comp/math-comp/pull/344.
>
> Please see the comments there.

Ok ! Thanks for the pointer,

Best,

Florent


  • [ssreflect] addn0 in Hint, Florent Hivert, 08/01/2019
    • Message not available
      • Re: [ssreflect] addn0 in Hint, Florent Hivert, 08/01/2019

Archive powered by MHonArc 2.6.18.

Top of Page