Overview
Request 812064 accepted
- Update to version 8.11.2.
* Fixed a kernel issue where using Require inside a section
caused an anomaly when closing the section.
* Fixed normalization in conclusion of custom induction scheme.
* Fixed a loss of location of some tactic errors.
* Ignore -native-compiler option when built without native
compute support.
* Fixed a segfault issue with CoqIDE completion.
* Highlighting style is now consistently applied to all three
buffers of CoqIDE.
- Created by aaronpuchert
- In state accepted
Request History
aaronpuchert created request
- Update to version 8.11.2.
* Fixed a kernel issue where using Require inside a section
caused an anomaly when closing the section.
* Fixed normalization in conclusion of custom induction scheme.
* Fixed a loss of location of some tactic errors.
* Ignore -native-compiler option when built without native
compute support.
* Fixed a segfault issue with CoqIDE completion.
* Highlighting style is now consistently applied to all three
buffers of CoqIDE.
factory-auto added opensuse-review-team as a reviewer
Please review sources
factory-auto accepted review
Check script succeeded
licensedigger accepted review
ok
jengelh accepted review
dimstar_suse added as a reviewer
Being evaluated by staging project "openSUSE:Factory:Staging:adi:32"
dimstar_suse accepted review
Picked "openSUSE:Factory:Staging:adi:32"
dimstar_suse accepted review
Staging Project openSUSE:Factory:Staging:adi:32 got accepted.
dimstar_suse approved review
Staging Project openSUSE:Factory:Staging:adi:32 got accepted.
dimstar_suse accepted request
Staging Project openSUSE:Factory:Staging:adi:32 got accepted.
