coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Coq 8.5pl3

From: zjhsdtc <zjhsdtc AT gmail.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] Coq 8.5pl3
Date: Thu, 27 Oct 2016 23:08:28 +0800
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=zjhsdtc AT gmail.com; spf=Pass smtp.mailfrom=zjhsdtc AT gmail.com; spf=None smtp.helo=postmaster AT mail-wm0-f44.google.com
Ironport-phdr: 9a23:UduT5x15rBJW7siYsmDT+DRfVm0co7zxezQtwd8ZsegUKPad9pjvdHbS+e9qxAeQG96KsbQb0qGG6+jJYi8p2d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL2PbrnD61zMOABK3bVMzfbWvXNGLxJTvn8mJuLTrKz1SgzS8Zb4gZD6Xli728vcsvI15N6wqwQHIqHYbM85fxGdvOE7B102kvpT4r9Zf9HFbvOtk/MpdW437eb45RPpWFmcIKWcwsd/ptQLPUQDHsmkeUn4ajhFgDA3M7RW8VZD05Hip/tFh0TWXaJWlBYs/Xi6vuv9m

Cheers!

2016-10-27 21:41 GMT+08:00 Maxime Dénès <mail AT maximedenes.fr>:

Dear Coq Clubbers,

The Coq development team is pleased to announce that Coq 8.5pl3 is
available at:

http://coq.inria.fr/download

You may need to refresh the page if your browser has a previous
version in cache.

This release includes many bug fixes, see
http://coq.inria.fr/distrib/V8.5pl3/CHANGES for more details.

Thanks to all bug reporters and contributors!

The Coq Development Team

[Coq-Club] Coq 8.5pl3, Maxime Dénès, 10/27/2016
- Re: [Coq-Club] Coq 8.5pl3, zjhsdtc, 10/27/2016
- Re: [Coq-Club] Coq 8.5pl3, Frédéric Blanqui, 10/27/2016
  - Re: [Coq-Club] Coq 8.5pl3, Maxime Dénès, 10/27/2016
    - Re: [Coq-Club] Coq 8.5pl3, Maxime Dénès, 10/27/2016