From 888ed4e68eed3bce945a015f70f1f26ed99c8ffe Mon Sep 17 00:00:00 2001
From: Artur Meski <artur@cifrid.net>
Date: Fri, 8 Sep 2023 15:29:51 +0100
Subject: [PATCH] Update README.md

---
 README.md | 16 ----------------
 1 file changed, 16 deletions(-)

diff --git a/README.md b/README.md
index ca52071..044b129 100644
--- a/README.md
+++ b/README.md
@@ -12,22 +12,6 @@ The toolkit consists of two separate modules implementing:
 
 (to be added)
 
-## Virtual Machine
-
-The easiest way to try out ReactICS is to download [the VM where everything is alread installed](http://reactionsystems.org/ReactICS.zip). This a VirtualBox virtual machine. After booting it up, you can log in as `reactics` with the same password. After logging in, ReactICS is available in the `reactics` directory:
-
-```
-$ cd reactics
-```
-
-An update and setup needs to be performed before running any type of verification:
-
-```
-$ ./reactics setup
-```
-
-After performing these steps you should be ready to start using ReactICS.
-
 ## Examples
 
 The `examples` directory contains sample input files.