diff options
author | 2018-03-22 10:25:13 +0100 | |
---|---|---|
committer | 2018-03-29 13:52:01 +0200 | |
commit | ddf2559b0706e32e70e574818549f33434c8a927 (patch) | |
tree | a12a31f81895f93fb54eb4f786255772e348b97a /doc/sphinx/language/coq-library.rst | |
parent | be79f2538c6a2911aba80d7c362915e918edaea3 (diff) |
[Sphinx] Add chapter 18
Thanks to Pierre Letouzey for porting this chapter.
Diffstat (limited to 'doc/sphinx/language/coq-library.rst')
0 files changed, 0 insertions, 0 deletions