coq-club AT inria.fr

Subject: The Coq mailing list

List archive

RE: [Coq-Club] Will there be a pdf manual for 8.8.0?

From: "Soegtrop, Michael" <michael.soegtrop AT intel.com>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: RE: [Coq-Club] Will there be a pdf manual for 8.8.0?
Date: Mon, 14 May 2018 06:38:06 +0000
Accept-language: de-DE, en-US
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=michael.soegtrop AT intel.com; spf=Pass smtp.mailfrom=michael.soegtrop AT intel.com; spf=None smtp.helo=postmaster AT mga17.intel.com
Dlp-product: dlpe-windows
Dlp-reaction: no-action
Dlp-version: 11.0.200.100
Ironport-phdr: 9a23:U31ZQRMSb3lHN1zfPwEl6mtUPXoX/o7sNwtQ0KIMzox0Ivj9rarrMEGX3/hxlliBBdydt6ofzbKO+4nbGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxlGiTanfb9+MAi9oBnMuMURnYZsMLs6xAHTontPdeRWxGdoKkyWkh3h+Mq+/4Nt/jpJtf45+MFOTav1f6IjTbxFFzsmKHw65NfqtRbYUwSC4GYXX3gMnRpJBwjF6wz6Xov0vyDnuOdxxDWWMMvrRr0yRD+s7bpkSAXwhSkHKTA37X3XhMJzgqJVoh2hpgBwzIHPbY6PKPZzernQcc8GSWdDWMtaSixPApm7b4sKF+cNM/tWr47jqFsBsRu+Hw6sBPv3xjRVgXH23LE10+Q7Hg7Y2AwsEc8FvXPRrNX0KKgSUfq6w7fMzTnZdPNW3iny6IfUchA7pvGMRal9ccvXyUkzCQzFik+cppDiPzOQz+kAtXWQ4eRnVeKqkWEnqgdxryCuxscqlonGmIYVxkrZ+ipnxos+ON62SFZjbNK5FJZcqTuWOot2T884Q2xkpjw2xqAGtJKmZCQG1ZUqyhDFZ/GJfYWE+AzvWeiVLDtimX5oe6yziw6v/UWhzuDwTNe43VZFoyZfjNXArG4B2hPX58WBV/Bz5F2u2SyV2ADW8uxEIV47la7cK5M5x74wmYAcvVnBEyPsmUX2irOWeVsg+uSy9+vnZbDmqoedN49ylA7+LrwjltG7DOgmKAQDX2iW9f682bH950H1XbVHguAunqncqp/aJMAbpqCjAw9S14Yu8xO/Dza639QYh3YIMlZFdAicj4juJV7OL+z4De24g1S0izprxvbGPqH/DZXJNHTMjLDhfbNl505G1AUz1cxf545TCrwZPP3zXVbxuMXEAR89Lgy72P3qCM5914MbQWKAGLWVMKLUsV+S5+IgOfOAZIEPuGW1F/9wrfXplDoynUIXVaivx5oeLn6iVLwyKEKAJHHon90pEGEQvwN4Qva823OYVjsGLU21Uq0g/DYjTMqDDIzDT42pyvTV2SawHpRbYiZdDV2DDW3vb62FXesBbGSZJco3wW9MbqSoV4J0jULmjwT90bcydrOFqB1djorq0Z1O38OWkBgz8TJuCMHEijOMSX15miUDQDpkhfkj83w48U+K1O1Du9IdDcZavqobUwEmOJqaxOt/WYirB1DxO+yRQVPjee2IRDE8StVonI0LbE8kRJOjiAzO22yhBLpHz7E=

Dear Clément,

thanks for preparing the pdf – very helpful! I agree with Théo, that we should continue to deliver a pdf.

@all: Should I still aim for including the html in the Windows installer ?

Best regards,

Michael

Intel Deutschland GmbH
Registered Address: Am Campeon 10-12, 85579 Neubiberg, Germany
Tel: +49 89 99 8853-0, www.intel.de
Managing Directors: Christin Eisenschmid, Christian Lamprechter
Chairperson of the Supervisory Board: Nicole Lau
Registered Office: Munich
Commercial Register: Amtsgericht Muenchen HRB 186928

[Coq-Club] Will there be a pdf manual for 8.8.0?, Soegtrop, Michael, 05/10/2018
- Re: [Coq-Club] Will there be a pdf manual for 8.8.0?, Théo Zimmermann, 05/10/2018
  - RE: [Coq-Club] Will there be a pdf manual for 8.8.0?, Soegtrop, Michael, 05/10/2018
    - Re: [Coq-Club] Will there be a pdf manual for 8.8.0?, Théo Zimmermann, 05/10/2018
      - Re: [Coq-Club] Will there be a pdf manual for 8.8.0?, Clément Pit-Claudel, 05/11/2018
        
        Re: [Coq-Club] Will there be a pdf manual for 8.8.0?, Théo Zimmermann, 05/13/2018
        
        RE: [Coq-Club] Will there be a pdf manual for 8.8.0?, Soegtrop, Michael, 05/14/2018