[doc] Added WSL links

README.md

@@ -9,8 +9,9 @@ artificial intelligence based software.
 
 The latest release of CAISAR is available as an [opam](https://opam.ocaml.org/)
 package or a [Docker](https://www.docker.com/) image on GNU/Linux.
-CAISAR is available on Windows either under the Windows
-Subsystem Linux (WSL) or the aforementioned docker image.
+CAISAR is available on Windows either under the [Windows
+Subsystem Linux](https://learn.microsoft.com/en-us/windows/wsl/install)
+(WSL) or the aforementioned docker image.
 
 The development version of CAISAR is available only by compiling the source code.
 CAISAR needs access to a ``python3`` interpreter, which is
@@ -71,7 +72,7 @@ make test
 
 ## Documentation
 
-The CAISAR user manual is available on the [platform website](https://laiser.frama-c.com/laiser-websites/caisar-website/documentation/).
+The CAISAR user manual is available on the [platform website](https://caisar-platform.com/documentation/).
 
 It is possible to generate it locally. This operation requires the documentation generator
 [Sphinx](https://www.sphinx-doc.org/en/master/index.html), which is typically

doc/installation.rst

@@ -6,8 +6,8 @@ Installation
 The latest release of CAISAR is available as an
 `opam <https://opam.ocaml.org/>`_ package or
 a `Docker <https://www.docker.com/>`_ image on GNU/Linux.
-CAISAR is available on Windows either under the Windows
-Subsystem Linux (WSL) or the aforementioned docker image.
+CAISAR is available on Windows either under the `Windows
+Subsystem Linux <https://learn.microsoft.com/en-us/windows/wsl/install>`_ (WSL) or the aforementioned docker image.
 
 The development version of CAISAR is available only by compiling the source code.
 CAISAR needs access to a ``python3`` interpreter, which is