.. toctree::
self.. toctree::
:caption: Specification language
language/core/index
language/extensions/index.. toctree::
:caption: Proofs
proofs/writing-proofs/index
proofs/automatic-tactics/index
proofs/creating-tactics/index.. toctree::
:caption: Using Coq
using/libraries/index
using/tools/index.. toctree::
:caption: Appendix
appendix/history-and-changes/index
appendix/indexes/index
zebibliography