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
-------------
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 11:45:05 +0000