coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Vincent Laporte <vincent.laporte AT gmail.com>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] Release of Coq 8.10.2
- Date: Fri, 29 Nov 2019 11:12:35 +0000
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=vincent.laporte AT gmail.com; spf=Pass smtp.mailfrom=vincent.laporte AT gmail.com; spf=None smtp.helo=postmaster AT mail-wm1-f44.google.com
- Ironport-phdr: 9a23:mqEb+R8rYVdNJ/9uRHKM819IXTAuvvDOBiVQ1KB31e4cTK2v8tzYMVDF4r011RmVBN6dsqwVwLCO+4nbGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxhGiTanfL9/LRG7oQrPusUKnIBvNrs/xhzVr3VSZu9Y33loJVWdnxb94se/4ptu+DlOtvwi6sBNT7z0c7w3QrJEAjsmNXs15NDwuhnYUQSP/HocXX4InRdOHgPI8Qv1Xpb1siv9q+p9xCyXNtD4QLwoRTiv6bpgRxj1hicaLD456H/YhdBsjKxVpxKhogZww4/SYIqIMPZzcafQcdYcSGFcXMheSjZBD5u8YYUREuQPPuhWoIfyqFQStha+ChWgCfnoxDNUiHL736s32PkhHwHc2wwgGsoDv3vVrNXzKKgdT+a1zLXVxjvFdfxWwTD96JLUch8/vPqBWqxwccvXyUYzCQzFiEmQpZbhPzyPzuQNtHKb7/Z+Wu+0hG4nrht+ojmrxss2lobJgYcVx0nC+C5kzog1Iti4R1R6Yd6iCJZQuCCaN5d2QsM/WG5koic6yroetZ60fSgK1JQnxwPEZPCdb4eI5RfjWeCMKjl7nHJoYKyziwq2/ES6yeDxVtO43EtUoidGiNXBuX8A2wTO5sWJV/dx5Fmt1DaA2gzJ9+1JIVo4mbTHJ5MixLM7i4Advl7ZHiDsnUX7lK+WeVsg+uiv8+nnZ6/ppp6YN4NthAD+N7kiltWxAek3PQUCRWeb+eO71L3s+U32Xq9GgeExkqncqJzaJMIbqbClAwJNzIov9xKyAy2l3dkYh3ULMUxJdRGdg4XmNFzCOPX4Au2+g1Sonjdr3ffGPrj5D5XTL3jDlqvucqh7605A0gYzycpQ54pTCrEbPPL8RFT8tNPdDhAjMgy0x/zrB8l61oMbQW6PGLOWMLvOsV+U4eIiO/WDZIgMuDrkN/cl4+PugmQilF8Gfaip2IMXZ2qiEvRnJUWZe3vsjc0bHWcEpAptBNDt3VaFSHtYY2u4d6M6/DAyToy8XqnZQYX4vr2H1yq9AtVyb3hBEEyBWSP2doOPVvEQLiabOsh7jjEsWr2oSotn3har4lypg4F7J/bZr3VL/ano08J4srGCzE1gxXlPF82Yllq1YSRshGpRHm052al+pQp2zVLRifEp0cwdLsRa4rZyail/MJfdy+JgDNWrA1DOe96ITBCtRdD0WGhsHOJ0+McHZgNGI/vnjh3H2HD3UboclrjOG5ltt6yAgz7+IMFyz3uA364k3QEr
Dear Coq users,
The version 8.10.2 of Coq has been released. Pre-compiled binaries for
macOS can be downloaded from the “release” page:
https://github.com/coq/coq/releases/tag/V8.10.2
Pre-compiled binaries for MS-Windows as well as packages in the OPAM and
nixpkgs repositories should be available soon.
This new minor version brings a few bug fixes and documentation
improvements, in particular:
- Fixed a critical bug of template polymorphism and nonlinear universes
- Fixed a few anomalies
- Fixed an 8.10 regression related to the printing of coercions
associated to notations
- Fixed uneven dimensions of CoqIDE panels when window has been resized
- Fixed queries in CoqIDE
More details can be found in the reference manual:
https://coq.github.io/doc/V8.10.2/refman/changes.html#changes-in-8-10-2
Cheers,
--
Vincent Laporte.
Attachment:
signature.asc
Description: OpenPGP digital signature
- [Coq-Club] Release of Coq 8.10.2, Vincent Laporte, 11/29/2019
Archive powered by MHonArc 2.6.18.