The Coq mailing list

["Soegtrop, Michael" <michael.soegtrop AT intel.com>]

Dear Théo,

The bad help link I can reproduce, but I guess it is not a Windows issue. The 
URL appears to be wrong.

The coqtop dies badly issue I can reproduce - I will create issues.

Best regards,

Michael

> -----Original Message-----
> From: 
> coq-club-request AT inria.fr
>  
> [mailto:coq-club-request AT inria.fr]
>  On Behalf
> Of Théo Zimmermann
> Sent: Thursday, October 10, 2019 4:21 PM
> To: Coq Club 
> <coq-club AT inria.fr>
> Subject: Re: [Coq-Club] Coq 8.10.0
> 
> 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
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