coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Coq 8.10.0

From: Théo Zimmermann <theo.zimmi AT gmail.com>
To: Coq Club <coq-club AT inria.fr>
Subject: Re: [Coq-Club] Coq 8.10.0
Date: Thu, 10 Oct 2019 16:20:38 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=theo.zimmi AT gmail.com; spf=Pass smtp.mailfrom=theo.zimmi AT gmail.com; spf=None smtp.helo=postmaster AT mail-vk1-f180.google.com
Ironport-phdr: 9a23:hCiXxheW62z/iHUrNJBw1PySlGMj4u6mDksu8pMizoh2WeGdxcS6YR7h7PlgxGXEQZ/co6odzbaP6Oa+Aidfsd6oizMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVrO+/7BpDdj9it1+C15pbffxhEiCCybL9vIhi6twTcu8cZjYZgKas61wfErGZPd+lK321jOEidnwz75se+/Z5j9zpftvc8/MNeUqv0Yro1Q6VAADspL2466svrtQLeTQSU/XsTTn8WkhtTDAfb6hzxQ4r8vTH7tup53ymaINH2QLUpUjms86tnVBnlgzocOjUn7G/YlNB/jKNDoBKguRN/xZLUYJqIP/Z6Z6/RYM8WSXZEUstXSidPAJ6zb5EXAuUOM+ZXrYnzqVUNoxWjGwejGOzhxyRUhn/vx6A2z/gtHR3E0QEmAtkAsG7UrNLwNKoKT+61zLPPzTLbYPxV2Df97Y3IfQ47ofGJR71wd8zRwlQoGgPZjlWft4vlMymU1+QMtmib6utgWPmgi24isQ5xozyvyt0whYnOg4IY01bJ/jh3zoYyIN23Uk97Ydi8HZtRsSGaK5V5Qsc4T251pik3zKANt52jfCUS1pgr2xrSZ+aEfoWI+B7vSvidLSpiiH54e7+zmxC/+lW6xOLmTMm7ylNKozJFktbSsnAN0ATe6s2dRft8+ketwCiP1wPO5u1dL0A4iKnWJ4I7zr4/kZoTtkvDHivol0nskKCWcUAk9vCp6+ThfLrmuoeRO5Fohgz6KKgjmcyyDf4mPgQQQmSX4/mw2b7/8UHhRbVFlPw2kq3XsJDAIsQbo7a0AxNV0ok97BazFTan0NUdnXkCLVJIYx2Hj43zNFHPJPD0F+uwg1OpkDtz3fDJIqXhAonRLnjEiLruYbF961dFxAUvydBf+olbB6oaIPPzX0/xrMbXAgU4Mwyy2ebnCc9y2pkQWWKVUeelN/b5tkbAzeYyKaHYb4gM/T35NvIN5vj0jHZ/l0VLLoez2p5CVHA5GcNUIkCcbGDpi9EHWTMWvgc5Cv7rjViDeTFWbne2Gak742doW8qdEY7fS9X10/S61yChE8gTPzgeUw3eITLTb4yBHsw0RmeSL8tmyGJWULGgT8o/1kjrulaqk/xoKe3b/iBevpXmhoAsu7/j0Coq/DkxNPyzlnmXRjgtzGwNTj4ymqt4pB4lkwbR4e1Dm/VdUOdrybZMWwY+O4TbyrUjWd/3UwPFONyOTQT/Tw==

Dear Michael,

Yes, this issue but also:

- Help > About > website link: Failed to execute helper program
(Invalid argument)
- opening \coq\lib\coq\theories\Init\Prelude.v causes coqidetop died badly

You may have missed it, but Roger doesn't want to use GitHub, so
issues would have to be reported by someone else who can reproduce
them and is willing to use GitHub.

Best regards,
Théo

Le jeu. 10 oct. 2019 à 16:04, Soegtrop, Michael
<michael.soegtrop AT intel.com>
a écrit :
>
> Dear Roger , Théo,
>
> > Regarding the other problems you reported, I don't have the same problems
> > here, so they might be Windows-specific. If some other Windows user can
> > confirm this and open issues, that would be great.
>
> I guess you mean the "Taskbar auo hide" issue. Yes I can confirm this. I
> guess what happens is that GTK3 apps handle in window mouse move events in
> a way which tells windows that this handling is final, so that the taskbar
> handler doesn't get a chance. Please report a bug.
>
> 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, Gary Kershaw
> Chairperson of the Supervisory Board: Nicole Lau
> Registered Office: Munich
> Commercial Register: Amtsgericht Muenchen HRB 186928

[Coq-Club] Coq 8.10.0, Vincent Laporte, 10/09/2019
- RE: [Coq-Club] Coq 8.10.0, Roger Witte, 10/09/2019
  - Re: [Coq-Club] Coq 8.10.0, Théo Zimmermann, 10/09/2019
    - Re: [Coq-Club] Coq 8.10.0, Roger Witte, 10/09/2019
      - RE: [Coq-Club] Coq 8.10.0, Roger Witte, 10/10/2019
        
        Re: [Coq-Club] Coq 8.10.0, Théo Zimmermann, 10/10/2019
        
        RE: [Coq-Club] Coq 8.10.0, Soegtrop, Michael, 10/10/2019
        
        Re: [Coq-Club] Coq 8.10.0, Théo Zimmermann, 10/10/2019
        RE: [Coq-Club] Coq 8.10.0, Soegtrop, Michael, 10/10/2019
- Re: [Coq-Club] Coq 8.10.0, Xuanrui Qi, 10/09/2019
  - Re: [Coq-Club] Coq 8.10.0, Théo Zimmermann, 10/09/2019
    - Re: [Coq-Club] Coq 8.10.0, Frédéric Blanqui, 10/10/2019
      - Re: [Coq-Club] Coq 8.10.0, Théo Zimmermann, 10/10/2019
- Re: [Coq-Club] Coq 8.10.0, Ian Zimmerman, 10/09/2019
  - Re: [Coq-Club] Coq 8.10.0, Théo Zimmermann, 10/10/2019