coq-exnindex.rst « sphinx « doc - coq - The formal proof system

about summary refs log tree commit diff

path: root/doc/sphinx/coq-exnindex.rst

blob: dbf60bb06c5a0238605b3f4e35ee6c609519e82b (plain)

:orphan:

.. hack to get index in TOC

----------------------
Errors, warnings index
----------------------