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] Next version of Coq
- Date: Thu, 3 Oct 2019 08:26:16 +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-wr1-f54.google.com
- Ironport-phdr: 9a23:I/3f+BTsUu5uFantunwLzoaSh9psv+yvbD5Q0YIujvd0So/mwa6zZB2N2/xhgRfzUJnB7Loc0qyK6vumBTxLuc3JmUtBWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6OPn+FJLMgMSrzeCy/IDYbxlViDanbr5+MRu7oR/eu8QVjoduNqg8wQbVr3VVfOhb2XlmLk+JkRbm4cew8p9j8yBOtP8k6sVNT6b0cbkmQLJBFDgpPHw768PttRnYUAuA/WAcXXkMkhpJGAfK8hf3VYrsvyTgt+p93C6aPdDqTb0xRD+v4btnRAPuhSwaMDE37XzXitdojK1FvB2huxJxw4nRYI6PNfp+eL7WcdcVSGdFW8pcUTFKDIGhYIsVF+cPPfhWoZT+qVUAoxSxChWjCfjgyjNUnHL42rE23uojHAzAwQcuH8gOsHPRrNjtO6gSUOa1w7XWwjXFc/NdxDHz55LQchAmu/GMQax/etfWxEkxFgPFiEmfppLjPzOJzOgNt3KU7/JnVeK1l24otRp8ojeqxsg2i4nJgpgZxUzD9SV82Ys4I8CzRkB8Yd6hCpRQtieaOpN5QsMjX2FouDs6xaYctZ66eygG0Jsnxx/Da/yHboiH+QjvW/qWITd9gn9uZbGxhw6q/ES+1uHxUtO43VVKoyZfjNXAqG0B2wbT58WIUvdx4F2u1SqS2w3W9O5JL0A5mK/FJ54v3rI/ip8evlnBEyPrhEn7ibKaeVkg9+e07unof6vpq52BOIJxhAHyL78hl8K6DOgmLgQDUXSU9OKh37P550L5Wq9Fjvgun6nZrp/aIcMbq7a8AwBP04Yj7w+zDjm80NgFhHUHIlJIdR2dg4jmPFHOJ//4DfOhjFi2jDhrwPXGMqXgApXLMHfDjK/scahh50NY0gY+ztBS64hKBr0fPf7/QE/8udPAAh88KQO0wuLnCNtn1oMZXGKCGrGZMKLUsVCU+O0vJfWMaJURuDnnM/gl4OTujWMnllIGcqmp2IEYaHG8Hvh8P0qZZn/sjs8bEWgWpgo+UPDqiFqaXDFPYHayRrsw6S0/CIK7FojOXZutgbyE3CejBJJafGFGClaWEXfpbYqIQfkMaDjBavNmxzcDTP2qT5Ir/RCorg7zjbR9fcTO/ShNi5Pl39Vz+6X3nAk17yB5R5CD0meGQmdo2GcBXzgswK1Xrkl0y1PF2q991a8LXedP7u9EB19pfaXXyPZ3XoyjA1OTTpKyUF+jB+6eL3Q0R9M1zcUJZh8kSdqnhxHHmSGtBu1MzuHZNNkP6qvZmkPJCYN9xnLBjvRzilAnRo5QLzTjiPMjsQfUAIHNngOSkKP4Lf1Ajh6Iz3+KyC+1hG8dSBR5CPyXUnUWZ0+QptP8tBvP
October 2nd, 2019.
Dear Coq users,
The Coq Working Group gathered in Nantes is happy to announce that the
next major version of Coq, also known as Coq 8.10.0 will be released
next week. This new version includes many changes and improvements that
are detailed in the user manual
(https://coq.github.io/doc/v8.10/refman/changes.html#version-8-10).
Testing versions are available for several platforms from that page:
https://github.com/coq/coq/releases
Enjoy,
--
Vincent Laporte.
Attachment:
signature.asc
Description: OpenPGP digital signature
- [Coq-Club] Next version of Coq, Vincent Laporte, 10/03/2019
Archive powered by MHonArc 2.6.18.