Subject: Ssreflect Users Discussion List
List archive
- From: Enrico Tassi <>
- To:
- Subject: [ssreflect] Coq 8.5
- Date: Fri, 22 Jan 2016 10:26:16 +0100
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None ; spf=None ; spf=None
- Ironport-phdr: 9a23:wtGB5hBAuftW7XXxGyYgUyQJP3N1i/DPJgcQr6AfoPdwSP7+pcbcNUDSrc9gkEXOFd2CrakU1ayP6/yrADZZqb+681k8M7V0HycfjssXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aJBzzOEJPK/jvHcaK1oLsh770osWPKFwS3XKUWvBbElaflU3prM4YgI9veO4a6yDihT92QdlQ3n5iPlmJnhzxtY+a9Z9n9DlM6bp6r5YTGfayQ6NtVqdCAToiPmspzMjwr1zCSxGO7z0dVH8Xm1xGGVvr9hb/C7r3qCrxsaJB0TKBPIWiQLYuWD+lqbtiUwTpoCYBLT8wtm/N3J8jxJlHqQ6s8kQsi7XfZ5uYYaJz
Hello, Coq 8.5 is out!
The 1.6 sources work with Coq 8.5 with no change.
Windows users can find a pre compiled version here:
http://math-comp.github.io/math-comp/
You have to first install Coq via the official Windows installer, and
then install ssreflect-mathcomp in the same directory.
Best,
--
Enrico Tassi
- [ssreflect] Coq 8.5, Enrico Tassi, 01/22/2016
Archive powered by MHonArc 2.6.18.