diff options
| author |  Zeimer <zzaimer@gmail.com> | 2018-07-12 23:56:53 +0200 |
|---|---|---|
| committer | Zeimer <zzaimer@gmail.com> | 2018-07-12 23:56:53 +0200 |
| commit | 6cdc4c69ea57f0498cc36f5213268920ca7f7d63 (patch) | |
| tree | 539b4eec164366c1b5d1832e235279fe3f73bb2e /vernac/topfmt.mli | |
| parent | e99a1fa8d225496e2a5f74d1247a99a07dba4597 (diff) | |
Fixed typos, wording and grammar errors in the Preamble of the Reference Manual (Introduction, Credits).
Diffstat (limited to 'vernac/topfmt.mli')
0 files changed, 0 insertions, 0 deletions