diff options
| author | Vincent Laporte | 2019-02-18 13:55:09 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-02-25 10:05:34 +0000 |
| commit | a27d9d43a8e1c1a1629cc72c87e582c323b503c7 (patch) | |
| tree | df6b872c07590834affe462732e49c12707d1f36 /doc/plugin_tutorial/tuto2/_CoqProject | |
| parent | 4c48fcace7612e2f1eaf7ffa6e5265282dd0b549 (diff) | |
[Manual] Document the “Primitive” command
Diffstat (limited to 'doc/plugin_tutorial/tuto2/_CoqProject')
0 files changed, 0 insertions, 0 deletions