From Done Copy card link Move shallow state logic to the function preparing state for workers #9220 opened by maximedenes kind: cleanup Code removal, deprecation, refactorings, etc. 8.10+beta1 Changes approved
From Done Copy card link Fix shallow flag in vernac state #9264 opened by maximedenes kind: cleanup Code removal, deprecation, refactorings, etc. part: STM State Transition Machine, asynchronous proofs, etc. 8.10+beta1 Changes approved
From Done Copy card link Fix universe restriction in delayed mode. #9223 opened by SkySkimmer kind: fix This fixes a bug or incorrect documentation. part: STM State Transition Machine, asynchronous proofs, etc. part: universes The universe system. 8.9.1 Changes approved
From Done Copy card link Fix classification of Set Default Proof Mode. #9222 opened by SkySkimmer kind: fix This fixes a bug or incorrect documentation. part: STM State Transition Machine, asynchronous proofs, etc. 8.9.1 Review required
From Done Copy card link [parsing] Use AST node for main parsing entry. #9481 opened by ejgallego kind: cleanup Code removal, deprecation, refactorings, etc. 8.10+beta1 Changes approved
From Done Copy card link [vernac] Rename Vernacinterp to Vernacextend and move extension functions there #8919 opened by ejgallego kind: cleanup Code removal, deprecation, refactorings, etc. 8.10+beta1 Changes approved