:orphan:

.. _indexes:

========
Indexes
========

We provide various specialized indexes that are helpful to quickly
find what you are looking for.

.. toctree::

   ../../genindex
   ../../coq-cmdindex
   ../../coq-tacindex
   ../../coq-optindex
   ../../coq-exnindex
   ../../coq-attrindex

For reference, here are direct links to the documentation of:

- :ref:`flags, options and tables <flags-options-tables>`;
- controlling the display of warning messages with the :opt:`Warnings`
  option;
- :ref:`gallina-attributes`.