• Use cases for Coqdoc
• Design of Coqdoc
• Coqdoc features
• Support links from within [...] parts of comments
• Index
• Native output format