aboutsummaryrefslogtreecommitdiff
path: root/doc/sphinx/coq-tacindex.rst
blob: cddcdf83e8be0aafd65cb3e1269570dc89e1b665 (plain)
1
2
3
4
5
6
7
8
9
:orphan:

.. hack to get index in TOC

.. _tactic_index:

-------------
Tactic index
-------------