diff options
| author | Emilio Jesus Gallego Arias | 2020-06-18 21:11:20 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-06-26 14:38:12 +0200 |
| commit | 862e5a0f13e51b51d42041f36576a2c7f07a9d5e (patch) | |
| tree | 4ec64e5e56e576a58a180ccc44984f4fb8696273 /doc/plugin_tutorial/tuto1 | |
| parent | f72efb3532caf189c55195265b16c564f9d6d3d9 (diff) | |
[vernac] Nit refatoring on lemma command interpretation
Diffstat (limited to 'doc/plugin_tutorial/tuto1')
0 files changed, 0 insertions, 0 deletions