-
Notifications
You must be signed in to change notification settings - Fork 47
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Mac OS - Intel - IDE Bug #309
Comments
See (coq/coq#15486, #217). The crash should be fixed in the 8.16~beta1 pick in the latest preview release (https://github.com/coq/platform/releases/tag/2022.09.0) but in this release preferences are actually not saved. I am closing this as duplicate |
@projetmbc This is a known bug if you are using any version less recent than the latest beta 2022.09 Coq Platform release. Please let us know if you still have issues with this release. |
It seems to work. Sorry for the noise... |
no worries :) |
On a macOS Big Sur Version 11.71 Intel, the COQ IDE crashes when I try to edit the preferences.
The text was updated successfully, but these errors were encountered: