diff --git a/man.html b/man.html
index 40db21d..b430686 100644
--- a/man.html
+++ b/man.html
@@ -36,11 +36,12 @@
             <div class="title">
               <a href="https://lmf.cnrs.fr">
                 Laboratoire M&#xE9;thodes Formelles, CNRS</a>
-              - Since March 2024
+              - March to July 2024
             </div>
             <div class="description">
-              Adding support for proofs on inductive predicates in the Why3
-              framework.
+              Added support for proofs on inductive predicates in the Why3
+              framework.<br>
+              <a href="./pdf/m1_report.pdf">/pdf/m1_report.pdf</a>
             </div>
           </li>
           <li>
@@ -108,7 +109,7 @@
         <ul class="content">
           <li>
             <div class="title">
-              <a href="https://henri-saudubray.fr/pdf/cv.pdf">/pdf/cv.pdf</a>
+              <a href="./pdf/cv.pdf">/pdf/cv.pdf</a>
             </div>
             <div class="description">Curriculum Vitae.</div>
           </li>
diff --git a/pdf/m1_report.pdf b/pdf/m1_report.pdf
new file mode 100644
index 0000000..ed2bccb
Binary files /dev/null and b/pdf/m1_report.pdf differ