• Compte rendu du GT du 18 novembre 2008
• Discussions entre développeurs
• Organisation des GT Coq
• Site Web
• Documentation de Coq
• Fichiers de la test-suite
• Ponctuation dans les messages d'erreur
• Efficacité dans la 8.2
• Mots-clés Local/Global
• assert vs. specialize
• Points divers
• Syntaxe des lieurs