Are Coq and CoqIDE supposed to be iconless in their start menu shortcuts?
Apparently we should change https://github.com/coq/platform/blob/2021.02/windows/Coq.nsi#L103 as suggested here
If you are motivated and you make a PR, ci should build the installer for you.
Is there a reason we install it as CoqIde rather than CoqIDE?
Also, why install coqtop as "Coq", I think that will just confuse users, no?
We should just have one entry CoqIDE, IMO
@Jason Gross : I guess it went unnoticed because I am not testing that much on Windows any more. Please feel free to create an issue at CoqPlatform for all of these, preferably as one.
PR at https://github.com/coq/platform/pull/104
Last updated: Jun 03 2023 at 04:30 UTC