diff options
| author |  William Lawvere <mundungus.corleone@gmail.com> | 2017-06-11 14:18:54 -0700 |
|---|---|---|
| committer | William Lawvere <mundungus.corleone@gmail.com> | 2017-06-13 13:23:24 -0700 |
| commit | 3b0830ce0233db5b612e0b5bb92e89fa644eb0e4 (patch) | |
| tree | e6aab0f3ac9dd2b4c2b74fb4439ac09eaae7954f /plugins/ltac/tauto.ml | |
| parent | 79c42e22dd5106dcb85229ceec75331029ab5486 (diff) | |
doc: improve grammar of RefMan-syn
Diffstat (limited to 'plugins/ltac/tauto.ml')
0 files changed, 0 insertions, 0 deletions