diff options
| author | Théo Zimmermann | 2020-04-21 16:51:01 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-04-21 17:24:32 +0200 |
| commit | ec34150a537dee4662a48c8a083f257e3837315e (patch) | |
| tree | 79a38b73e4e8224b85d91eecab42f6150a15f417 /doc/plugin_tutorial/tuto2/_CoqProject | |
| parent | ff9a3c625766a3069b7ffcbeb5592050838c8222 (diff) | |
Remove parts of the Tactics chapter.
Diffstat (limited to 'doc/plugin_tutorial/tuto2/_CoqProject')
0 files changed, 0 insertions, 0 deletions