coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] section numbers of some document?

From: Vincent Laporte <vincent.laporte AT gmail.com>
To: coq-club AT inria.fr
Subject: Re: [Coq-Club] section numbers of some document?
Date: Thu, 14 Feb 2019 06:51:23 +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-f42.google.com
Ironport-phdr: 9a23:4oIhdROAAghmH5jzkrYl6mtUPXoX/o7sNwtQ0KIMzox0Ivz8rarrMEGX3/hxlliBBdydt6oUzbKO+4nbGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxlLiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPdeRWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbYUwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0yRD+s7bpkSAXwhSkHKjA37m/XhM9+gq1Vrx2upQBwzpXbYI2JLvdweb/RcN0YSGdHQ81fVzZBAoS5b4YXAOUBPOBYoJXjqFsIsRu1GA+iC/n3yj9PnH/2wbM12PkmHAHY3QwgGc4Bv2rSrNXpLqsSVfq6zLHPzTXZc/NZxyzw6IfNch87oPGMWah8ftbWyUkqDg7IiEibp4/9Pz6NyOgBr2yW4/BjWO+vkWIrtR99riW1ysojlIXFnpwZxUrY+SlkxYs6O9O1RU5+bNK6Hptcqz2VOo5rTc4gXm1kpCM3xaYJtJKmYicHzYooyAPCZPCadoWH+BzjVOiKLjp9mn1oeLy/iwi0/EO90OPzTNO030xPriddktnDqHQN1xvL58iCUPR9/0Oh1S+B1gDJ9+1IOE40mKXFJ5I7zb4wkZ0TsUvHHiDogkn5kKiWdkA89uip7eTofKnmq4eCO4NojgzyKKcjl8ylDegmLAQCQnKX9Oui2LH7+E32WrRKjvk4kqnDt5DaINwWprC4Aw9Tzoks9RC/Dyu83NQch3YHNFVFeAibj4f3IFzOL/X4Au2+g1Soijtk2/fGPrj5DpXXMnfDiKvhfap660NE1AUzyslf64tIBbEFPfL8QVT8tMfYDx88Kwy72fzrCNR71oMEWGKAGLWVMK3IsQzA2uV6KO6VIYQRpTzVKv4/5veog2Vqt0UaePyX3J0cZXakVtBvO0KDfXek1skAF2wHuBZ4SOXyj0eeXBZcYn+zW+Q34TRtW9HuNpvKWo342O/J5yy8BJADPjkXWGDJKm/hcsC/Y9lJbSuTJsF7lTldDOquToYg0VelswqokuM7fNqRwTURsNfY7PYw//fazEhg+jl9DsDb2GaIHTktwzE4AgQu1aU6mnRTj1eO1a8i3q5dHN1XouxTC0I0acSawOt9BNT/HAnGe4XRRQ==
Openpgp: preference=signencrypt

Hi Jeremy,

Thanks for asking!

This is just a mistake. This number is hard-coded in the sources of the
manual. I’ll take care of replacing it by a proper link.

Cheers,
--
Vincent.

Attachment: signature.asc
Description: OpenPGP digital signature

[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