diff options
| author |  Peter LeFanu Lumsdaine <p.l.lumsdaine@gmail.com> | 2018-04-04 14:37:32 +0200 |
|---|---|---|
| committer | Peter LeFanu Lumsdaine <p.l.lumsdaine@gmail.com> | 2018-04-04 14:37:32 +0200 |
| commit | 024397b19636937ffef8f47247bd6d7d5ac34e2b (patch) | |
| tree | eac2abfd299dd5dc9ca1f1f1aeb116d110896c53 /doc/sphinx/credits.rst | |
| parent | b301358a7cbe3f53cc3d0e9b35f930ccd23adae2 (diff) | |
Sphinx docs: fix typo (non-ASCII character lost in sphinx migration)
Diffstat (limited to 'doc/sphinx/credits.rst')
| -rw-r--r-- | doc/sphinx/credits.rst | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/sphinx/credits.rst b/doc/sphinx/credits.rst index a60f32645..fac0d0a4f 100644 --- a/doc/sphinx/credits.rst +++ b/doc/sphinx/credits.rst @@ -376,7 +376,7 @@ contributed by Jean Goubault was integrated in the basic theories. Pierre Courtieu developed a command and a tactic to reason on the inductive structure of recursively defined functions. -Jacek Chrzszcz designed and implemented the module system of |Coq| whose +Jacek Chrząszcz designed and implemented the module system of |Coq| whose foundations are in Judicaël Courant’s PhD thesis. The development was coordinated by C. Paulin. @@ -478,7 +478,7 @@ Marché and Bruno Barras. Claude Marché coordinated the edition of the Reference Manual for |Coq| V8.0. -Pierre Letouzey and Jacek Chrzszcz respectively maintained the +Pierre Letouzey and Jacek Chrząszcz respectively maintained the extraction tool and module system of |Coq|. Jean-Christophe Filliâtre, Pierre Letouzey, Hugo Herbelin and other |