From ee8b2fc48a91b9e4702bc497d8f9bd447c0b8cff Mon Sep 17 00:00:00 2001
From: Julien Girard <julien.girard2@cea.fr>
Date: Wed, 28 Jun 2023 16:52:31 +0200
Subject: [PATCH] [doc] Clarified support for windows

---
 README.md            | 6 +++++-
 doc/installation.rst | 4 +++-
 2 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 43ffe34..acf06f4 100644
--- a/README.md
+++ b/README.md
@@ -8,9 +8,13 @@ artificial intelligence based software.
 ## Getting CAISAR
 
 The latest release of CAISAR is available as an [opam](https://opam.ocaml.org/)
-package or a [Docker](https://www.docker.com/) image.
+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.
 
 The development version of CAISAR is available only by compiling the source code.
+CAISAR needs access to a ``python3`` interpreter, which is
+a default in all major GNU/Linux distributions.
 
 ### opam package
 
diff --git a/doc/installation.rst b/doc/installation.rst
index c98a4f8..6efe58c 100644
--- a/doc/installation.rst
+++ b/doc/installation.rst
@@ -5,7 +5,9 @@ Installation
 
 The latest release of CAISAR is available as an
 `opam <https://opam.ocaml.org/>`_ package or
-a `Docker <https://www.docker.com/>`_ image.
+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.
 
 The development version of CAISAR is available only by compiling the source code.
 CAISAR needs access to a ``python3`` interpreter, which is
-- 
GitLab