• Summary of changes in trunk
• General Implementation
• Kernel
• Elaboration, Gallina
• Vernacular
• Tactics
• Standard Library
• CoqIDE
• Tools
• FIXME