• Changes in Coq since the last WG
• Foreword
• Features
• Extended introduction patterns
• CoqIDE
• Standard library
• Refactoring, cleaning
• Bug fixes
• CI, build systems, test suite
• Community, documentation
• Other PRs merged in this period