coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] "tactics written in ocaml" broken

From: Théo Zimmermann <theo.zimmi AT gmail.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] "tactics written in ocaml" broken
Date: Wed, 04 Apr 2018 09:16:30 +0000
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=theo.zimmi AT gmail.com; spf=Pass smtp.mailfrom=theo.zimmi AT gmail.com; spf=None smtp.helo=postmaster AT mail-ua0-f182.google.com
Ironport-phdr: 9a23:LJL06xJrWKGMxsI+VtmcpTZWNBhigK39O0sv0rFitYgRLvrxwZ3uMQTl6Ol3ixeRBMOHs6kC07KempujcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9JDffwtFiCChbb9uMR67sRjfus4KjIV4N60/0AHJonxGe+RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84TaFDAzQ9L281/szrugLdQgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QLYpUjqg8qhrUgflhygJNzE78G/ZhM9+gr9Frh29vBFw2ZLYbZuPOfZiYq/Qf9UXTndBUMZLUCxBB5uxYZUPD+0bOuZXt4ryp1oLrRu7GwasHubvxSVOhn/wwKY31PghEQHY0wwnBd4PsXXUrNDwNKcTSu21w6zIwi/Cb/NSwzvy9I/IchU4rPyKQLl+f83RyUw1GAPEiFWdsYPlPzKJ1uQNrmiU9PBsWv6oi24irQx6vzuhxt80h4XXmo4YzkrI+CZ5zYovO9G0VUx2bcS5HJZTqS2XMZZ9TNk4TGFyoik6z6ULuZ6lcygOz5Qq3xvfZOaGc4iM+x7jSfyeLSthiHJrZb6yhAi+/VKvyu37Ucm031JKoTRfntbQsXAN0gTf6smBSvRj4keswSiD2xzX5+1eIk05lbDXJ4A8zrMyjJYfrEfOEjHulEXzlqCWd0Ek+uay6+TgZ7XrvoOcN49qhQH5KKgvm82/AeE9MggPRGWb9uG826fi/U39WrlFkvo2kqzBvJDAOcsbvrK5AxNS0os79xm/CC6m3M0EknkDMVJKYwmKj5PpOlHLOPD3F+2zg1WqkDdxxvDJJKftApvXLiuLrLC0drFkrkVY1QAbzNZF5psSBKtSDuj0XxrNtF3fOS04Ngm52ePuDtM1gp8eVGXJEK6cNaL6vlqB5+ZpKO6JMtxG8A3hIuQosqa9xUQynkUQKPHwjMknLUugF/EjGH23JH/lg9MPC2AP51NsQ+njiVnEWjlWNS/rA/AMowojAYfjNr/tA5i3ieXYjii+F5xSIGtBDwLUSCq6R8C/Q/4JLRmqDIphnzgDD+bzToYg0VSzvVe/xeM3dKzb/SoXsZ+l399wtbXe

Note that this page was discussed as part of #6842, see https://github.com/coq/coq/issues/6842#issuecomment-369568480 and following comments. Creating a dedicated issue wouldn't harm but it would be good to copy these comments in passing.

Théo

Le mer. 4 avr. 2018 à 11:13, <makarius AT sketis.net> a écrit :

I am not reading my mail until 12-Apr-2018.

Re: [Coq-Club] "tactics written in ocaml" broken, Emilio Jesús Gallego Arias, 04/04/2018
- <Possible follow-up(s)>
- Re: [Coq-Club] "tactics written in ocaml" broken, makarius, 04/04/2018
  - Re: [Coq-Club] "tactics written in ocaml" broken, Théo Zimmermann, 04/04/2018