From d86b955fd0662fc564d03ce626adb4b43a48940a Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Tue, 8 Jul 2014 20:02:10 +0200
Subject: [PATCH] update README

---
 README.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/README.txt b/README.txt
index 6eaa98ab6..6ed3a4298 100644
--- a/README.txt
+++ b/README.txt
@@ -8,5 +8,6 @@ This folder is organized as follows:
 * world_prop.v uses the aforementioned Coq library to construct the domain for Iris propositions
 * iris.v is the main file and contains the actual logic and the proof of the rules for view shifts and Hoare tiples
 
+Run "make" in this folder to build it all.
 Be aware that iris.v takes a long time to check and needs significant amounts of RAM!
 8GiB may be sufficient, but to be safe you should have 16GiB and give it around 2 to 3 hours.
-- 
GitLab