diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2018-04-16 08:59:31 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2018-04-16 08:59:31 +0200 |
| commit | ea08600edd8796bc8d2782a1750c628c2f64f3d6 (patch) | |
| tree | f7d3284841cd52b6609e4d71443d8315e2a33fa2 /doc/tools/coqrst/notations/TacticNotations.tokens | |
| parent | df093d928ea09c5a4c5212cdb837da55d833760d (diff) | |
| parent | ecdf2d82eea29a902bac2ecdbf62cf2b6b839386 (diff) | |
Merge PR #7251: doc: Rename UbuntuMono-Square to CoqNotations and tweak spacing
Diffstat (limited to 'doc/tools/coqrst/notations/TacticNotations.tokens')
0 files changed, 0 insertions, 0 deletions