diff options
Diffstat (limited to 'doc/whodidwhat/whodidwhat-8.4update.tex')
-rw-r--r-- | doc/whodidwhat/whodidwhat-8.4update.tex | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/whodidwhat/whodidwhat-8.4update.tex b/doc/whodidwhat/whodidwhat-8.4update.tex index 36efd22e9..bb4c5ce46 100644 --- a/doc/whodidwhat/whodidwhat-8.4update.tex +++ b/doc/whodidwhat/whodidwhat-8.4update.tex @@ -3,6 +3,7 @@ \usepackage{fullpage} \usepackage[utf8]{inputenc} \usepackage{t1enc} +\usepackage{hyperref} \begin{document} @@ -333,7 +334,7 @@ \item Searching modulo isomorphism: David Delahaye \item Explanation of proofs in pseudo-natural language: Yann Coscoy \item Dp: Jean-Christophe Filliâtre, Nicolas Ayache with contributions - from Claude Marché (now integrated to <a href="why.lri.fr">Why 3</a>) + from Claude Marché (now integrated to \href{http://why3.lri.fr/}{Why3}) \end{itemize} For oversights or accidental errors, please report to Hugo~\verb=.=~Herbelin~\verb=@=~inria~\verb=.=~fr |