coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] section numbers of some document?

From: Jeremy Dawson <Jeremy.Dawson AT anu.edu.au>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: [Coq-Club] section numbers of some document?
Date: Thu, 14 Feb 2019 05:32:48 +0000
Accept-language: en-US
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=Jeremy.Dawson AT anu.edu.au; spf=Pass smtp.mailfrom=Jeremy.Dawson AT anu.edu.au; spf=Pass smtp.helo=postmaster AT AUS01-SY3-obe.outbound.protection.outlook.com
Ironport-phdr: 9a23:SLowThRe+ul8LUaHrYnD0Sj3h9psv+yvbD5Q0YIujvd0So/mwa6zZBKN2/xhgRfzUJnB7Loc0qyK6/CmATRIyK3CmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+KPjrFY7OlcS30P2594HObwlSizexfbB/IA+qoQnNq8IbnZZsJqEtxxXTv3BGYf5WxWRmJVKSmxbz+MK994N9/ipTpvws6ddOXb31cKokQ7NYCi8mM30u683wqRbDVwqP6WACXWgQjxFFHhLK7BD+Xpf2ryv6qu9w0zSUMMHqUbw5Xymp4qF2QxHqlSgHLSY0/mHJhMJtkKJVrhGvpx1jzIDbb46YL+Z+cbjHcN8GWWZNQsRcWipcCY28dYsPCO8BMP5coYbjvVsBsx6+BAmxD+3h0DBJiGT23ao80+88FgzI2BIvH8gQv3TRrNT5LqkcXvq7zanTyjXDaehb1i376IjVaBwuv+yDXa9qfcXL1EkiDgXIhUiep4ziOjOazOUNs26D4uphU+KvkW8npBtrrjih3MchjJTCiIENyl3c+ih13Jw5KcCkREN5e9KoDZVduiOAO4drX88vTXlktDs6x7Eao5K3YjQGxZo9yxLBdvCLb5KE7g/tWeuVOTt4imxqdbGjixu39EWtzvDwW8uv31tPoSdIkdnBu3EI2hHc6cWKSudx80K71jmVyQzc9OdJKl0um6XBMZ4u2Lswm4ITsUvdGi/2n137gbOYeUs55uSk9v3rbKjkqZKSLoN0jRrxPbo0lsy4HOQ4LhMBX2+G+eS6ybLv51X5QK9Njv0qjKbWrIzaJcUcpq6/GQNV1Zsj6wq7Dzeh19QYnmMLI05CeBKCl4TpOlfOL+7kDfqnjFmgjC1ny+3aMrDjGJnBM3bOnbX7cbpg9kJRxhI/zdVF6JJVDrEBLujzWkj0tNHAChE2LRa0zPjiCNR9zI8QV3iAA6GCMKPVt1+F/fggI++RZIMPpjnyNuUl6+T0gn8kgVMdZ7Wm3YMLaHCkGfRrO1mWYX31gtsYDWgKuhc+Q/fxhV2ZUT9TYm6yULgm6jE6DoKmF4bDSZq3jLyPxifoVqFRMypNDUnJGnP1fa2FXe0NYWScOIUpxjcDTP2qT5Ir/RCorg7zjbR9eLn64Cod4LDuztVw9qX/nA4p8jo8W+aQyWyIXidYl3wTQDke1aZi50Fx1xGKzP4r0LRjCdVP6qYRAU8BPpnGwrkiUoGgakf6Zt6MDW2ebJCjCDA1QMg2xoZUMU97BpOvgg2F1jf4WuZJxYzOP4Q99+fn51a0P9x0kiyU3a88yVQqX41GKD/+3/Mtx03oH4fM1n6hueOqeKAbgHGf3Vq4lTPLh3ADFQl6XOPCQGwVYVbQoZLh/ETeQrSyCLMhdAxc1cqFLagMYdrs3wxL

Hi,

In the online documentation, it gives a number which one would guess is
a reference to a section number of some (other?) document,
eg in
https://coq.inria.fr/distrib/current/refman/addendum/extended-pattern-matching.html
it says ... (as for terms 2.7.11)

What does the 2.7.11 mean? Is it a reference to a section number of
some document? Or what? If so, where do I find this document?

Thanks

Jeremy

[Coq-Club] section numbers of some document?, Jeremy Dawson, 02/14/2019
- Re: [Coq-Club] section numbers of some document?, Vincent Laporte, 02/14/2019