From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Fri, 29 Jul 2022 09:15:51 +0000 (+0200)
Subject: Fix RST formatting + one URL in Release_Notes.rst
X-Git-Tag: v3.32~127
X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/fa7d4337b401979b15eeafc6c7a3d1ef9e61e214

Fix RST formatting + one URL in Release_Notes.rst
---

diff --git a/docs/source/Release_Notes.rst b/docs/source/Release_Notes.rst
index 6dfa36e369..49e970bdd9 100644
--- a/docs/source/Release_Notes.rst
+++ b/docs/source/Release_Notes.rst
@@ -495,8 +495,8 @@ old, non-free ISP test suite by the one from the `MPI Bug Initiative <https://ha
 This will eventually help improving the robustness of Mc SimGrid.
 
 These changes unlock the future of Mc SimGrid. For the next releases, we plan to implement another exploration algorithm based on event unfoldings (using 
-`The Anh Pham's thesis <https://tel.archives-ouvertes.fr/tel-02462074/document>`_), the exploration of scenarios where the actors get killed and/or where
-communications timeout, and the addition of a `wrapper to pthreads <https://hal.inria.fr/hal-02449080>`, opening the path to the verification classical
+`The Anh Pham's thesis <https://tel.archives-ouvertes.fr/tel-02462074>`_), the exploration of scenarios where the actors get killed and/or where
+communications timeout, and the addition of a `wrapper to pthreads <https://hal.inria.fr/hal-02449080>`_, opening the path to the verification classical
 multithreaded applications.