diff options
author | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2015-02-10 23:04:29 +0100 |
---|---|---|
committer | Guillaume Melquiond <guillaume.melquiond@inria.fr> | 2015-02-10 23:04:29 +0100 |
commit | 9bbf64143da7c29a3b7b1bf84a70f887e1e8aa63 (patch) | |
tree | d2df954fdaa0ab3ed178da3cc5476d45a9323f6c | |
parent | 1a6ba78c90610b3768a2eaf4594a8caa06e7772d (diff) |
Avoid html markup inside tex files and fix url.
-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 |