Jason Gross (May 12 2021 at 16:59): Jason Gross (May 12 2021 at 16:59):Should the installer emit some sort of warning when it's writing to a directory where Coq is already installed? I think currently it silently overwrites files, but it should perhaps clear out the pre-existing .vo files in the relevant directories, or else you may end up with incompatible versions of some vo files installed? Certainly today there's no warning that the installer emits, on Windows at least.
Last updated: Jun 03 2023 at 05:01 UTC