• Topics
• Roles
• Notes
• Concerning CEP #83
• About the renaming and the next release
• Organization of the Coq team on the Web site
• Primitive projections