diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2018-04-09 13:22:00 +0200 |
|---|---|---|
| committer |  Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-04-13 10:35:17 +0200 |
| commit | 3bda731dacad8826e0a05d14b5cf935fedf4f4c6 (patch) | |
| tree | 58133450c37c112a237bf98e874cf87691aa5bc4 /doc/sphinx/coq-tacindex.rst | |
| parent | b68e0b4f9ba37d1c2fa5921e1d934b4b38bfdfe7 (diff) | |
[Sphinx] Move chapter 1 to new infrastructure
Diffstat (limited to 'doc/sphinx/coq-tacindex.rst')
0 files changed, 0 insertions, 0 deletions