The Coq mailing list

[Théo Zimmermann <theo.zimmi AT gmail.com>]

Hi,

> I saw the announcement on the web site yesterday evening and tried a 
> download.  I will download again this evening in case you have made fixes 
> overnight.

Don't bother. Once a version has been uploaded with a given version
number, it won't ever change. That's a basic rule of release
management. It is unfortunate that you did not try any of the beta
versions. These versions are reasonably stable and are precisely
intended to gather user feedback before we commit on a final release.

>         -       The help menu is broken: The links to the reference manual 
> and library documentation go to bad addresses, as does the link to coq home 
> from the about dialog.

Could you please tell us which addresses these are? This can hopefully
get fixed without changing anything in CoqIDE.

> If you can tell me how to raise a bug report without logging in to github, 
> I will happily do so but I don't want to join github.

We do not support any other method of reporting a bug officially.
However, if the people who are working on maintaining CoqIDE and the
new Unicode support see your message and are ready to interact to you
via e-mail, these bugs could still be investigated and hopefully fixed
for the next patch-level release (8.10.1).

If someone else has similar problem and does not mind using GitHub,
feel free to open an issue. I won't however open an issue myself to
copy-paste these various problem reports because solving them would
definitely require a feedback-loop / interaction with the reporter.

Regards,
Théo