Add a few words in whodidwhat.

1 files changed, 3 insertions, 1 deletions

diff --git a/doc/whodidwhat/whodidwhat-8.5update.tex b/doc/whodidwhat/whodidwhat-8.5update.tex
index 696fff4f7..78b7b1d3e 100644
--- a/doc/whodidwhat/whodidwhat-8.5update.tex
+++ b/doc/whodidwhat/whodidwhat-8.5update.tex
@@ -29,6 +29,7 @@
   \item Transparency/opacity: Bruno Barras
   \item Bytecode-based conversion: Benjamin Grégoire
   \item Binary-words retroknowledge: Arnaud Spiwack 
+  \item Native code based conversion: Maxime Dénès, Benjamin Grégoire
   \end{itemize}
 \item The universe hierarchy
   \begin{itemize}
@@ -40,7 +41,8 @@
   \item Type-checking: Christine Paulin
   \item Positivity condition: Christine Paulin
   \item Guardness condition for fixpoints: Christine Paulin;
-    extensions by Eduardo Gimenez, Bruno Barras, Pierre Boutillier
+    extensions by Eduardo Gimenez, Bruno Barras, Pierre Boutillier; fixes by
+    Bruno Barras, Maxime Dénès
   \item Recursively non-uniform parameters: Christine Paulin
   \item Sort-polymorphism of inductive types: Hugo Herbelin
   \end{itemize}