From 9c4314208d4818be00e5f4f217bc304bc9eca362 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lennard=20G=C3=A4her?= <gaeher@mpi-sws.org>
Date: Thu, 13 Jun 2024 09:18:49 +0000
Subject: [PATCH] Update README.md

---
 README.md | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/README.md b/README.md
index d554087..ece282f 100644
--- a/README.md
+++ b/README.md
@@ -5,10 +5,7 @@ This repository contains the Coq code for [the Semantics course](https://plv.mpi
 ## Installation Instructions
 
 ### Windows
-Unfortunately, Windows does not support the libraries we use for the course very well. If you can use one of the other operating systems (macOS or Linux), we recommend you do so and follow the instructions below.
-Otherwise, you can either use Windows's WSL (Windows Subsystem for Linux) or a VM.
-
-TODO: put instructions for WSL here.
+Unfortunately, Windows does not support Coq and the libraries we are using well. If you can use either Linux or MacOS instead, please follow the instructions below. Otherwise we recommend you set up WSL as explained [here](https://learn.microsoft.com/en-us/windows/wsl/install), proceed with the installation instructions below, and set up [VSCode for use with WSL](https://code.visualstudio.com/docs/remote/wsl).
 
 ### Linux/macOS
 
-- 
GitLab