coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Orphaning of decl_mode

From: Matthieu Sozeau <matthieu.sozeau AT inria.fr>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] Orphaning of decl_mode
Date: Fri, 31 Mar 2017 09:50:15 +0000
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=matthieu.sozeau AT inria.fr; spf=Pass smtp.mailfrom=matthieu.sozeau AT gmail.com; spf=None smtp.helo=postmaster AT mail-vk0-f47.google.com
Ironport-phdr: 9a23:4UIxihQ/2ALb0fiQqVaH5B4AyNpsv+yvbD5Q0YIujvd0So/mwa69YxKN2/xhgRfzUJnB7Loc0qyN4vymATRIyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSijewZbx/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbDVwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4qF2QxHqlSgHLSY0/27XhMJ+j6xVvQyvqABkzoHOfI2YLuBzcr/Bcd4YQ2dKQ8ZfVzZGAoO5d4YBCPAOPfpEr4n9plsBswa+DhSxCuPoyz5HmGX53bAn2OkmFAHJxhAgH84OsHTVstr1Kb0eUfuyzKjJ0zrMde5W1Cz86IjOaBAhoOuDUah+ccrL0EQiER7OgFuXqYzgJTyV1+INvnCa7+pmT+KvinQopxt/oji1wMonl4rHhpoNx1za6Sl0xJw5KN64RUJhf9KoDZVduzuVOoZ0RM4pXntmtzwgyrIcvJ62ZCgKx4ojxx7Yc/GHdpKH4hPnVOqIPzd4h25pdKuxhxu980Ws0OL8Vs6z0FZFqipKjMPAuWwK1xzW8sSHS/198Vm92TuXyQzf9uVJLVo3mKfbMZIt3KM8m5QJvUnMHCL6gED2g7WXdkUg9Oio8ePnYrD+q5+ZLYB0lh3+MqQvmsOhHOQ0KBMOX2+a+OuizrLj4Fb0QLpPjvIsk6nZtIrWKtgcpq68GwNVyJos6w6jDze619QVhWUILFVceB6ek4fpP0zOL+vjAPekg1WslS9ryOrcMr3gBJXNNHnDn637cbZz8U4PgDY0mJpU4IsRAbUcKtryXFXwvZrWFFVxZwez2qPsDMh3/oIYQ2OGRKGDZvD8q1iNs8cmP/WMZYII8A36OfUs+ra6iHYlhV8ccLTvxpwFZXmlNvVgOUSQJ3T21IRSWVwWtxYzGbS5wGaJViReMi6/

Dear coq-club,

the Coq Development Team took the decision to orphan the
so called "decl_mode" plugin (see user manual [1]) and remove it from
the source code of Coq version 8.7.

If anyone wants to step in maintaining such plugin please get in touch
with us so that we help setting up a git repository with the latest
version of the sources.

Best wishes,
The Coq Development Team.
[1]: https://coq.inria.fr/distrib/current/refman/Reference-Manual013.html

[Coq-Club] Orphaning of decl_mode, Matthieu Sozeau, 03/31/2017