diff options
| author |  Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-03-01 13:51:27 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-03-06 22:31:22 +0100 |
| commit | d3414abd4dc912debf1a8339eedbe1b9d4dbc319 (patch) | |
| tree | 909c0a98f84f75a6a0d876fd04078b6774437776 /doc/tools/Translator.tex | |
| parent | ed98716036e9d47efb2ba66cf0336fc45e03f793 (diff) | |
Add CHANGES and man entry for coqdep learning _CoqProject.
Diffstat (limited to 'doc/tools/Translator.tex')
0 files changed, 0 insertions, 0 deletions