coq-exnindex.rst « sphinx « doc - coq - the Coq proof assistant

about summary refs log tree commit diff homepage

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

blob: 100c57b085cb6fa810576c12ccd8415f905d4f7d (plain)

.. hack to get index in TOC

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