From c912ffbcbb2fda387854ecd193f06fb967e5add6 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu <Pierre.Courtieu@cnam.fr>
Date: Thu, 8 Jan 2015 17:32:26 +0100
Subject: Small fix in whodidwhat 8.5.

---
 doc/whodidwhat/whodidwhat-8.5update.tex | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'doc/whodidwhat')

diff --git a/doc/whodidwhat/whodidwhat-8.5update.tex b/doc/whodidwhat/whodidwhat-8.5update.tex
index 78b7b1d3e..5b7da70ac 100644
--- a/doc/whodidwhat/whodidwhat-8.5update.tex
+++ b/doc/whodidwhat/whodidwhat-8.5update.tex
@@ -82,7 +82,10 @@
   Matthieu Sozeau
 \item Canonical structures: Amokrane Saïbi
 \item Type classes: Matthieu Sozeau
-\item Functional schemes (\texttt{Function}, \texttt{Functional Scheme}, ...): Julien Forest and Pierre Courtieu (preliminary version by Yves Bertot)
+\item Function (\texttt{Function}, \texttt{functional induction}...):
+  Julien Forest (preliminary versions by Pierre Courtieu
+  (\texttt{Functional Schemes}) and Yves Bertot (\texttt{Recursive
+    Definition}))
 \item Generation of induction schemes: Christine Paulin, Vincent
   Siles, Matthieu Sozeau
  \end{itemize}
-- 
cgit v1.2.3