• Developing Coq: A tutorial
• Getting Coq sources
• Compiling Coq sources
• Basic developer setup
• Directory structure
• .mlp files
• Main developer targets
• Dependencies
• Adding a new file
• Simple debugging with Drop
• Debugging with ocamldebug