From 1b8709c9dca7cbcb548678a417416b95d27b50b9 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Mon, 6 Oct 2014 21:29:00 +0200
Subject: [PATCH] be a bit more specific in the coq README

---
 README.txt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README.txt b/README.txt
index 834800b0a..9a925a256 100644
--- a/README.txt
+++ b/README.txt
@@ -30,9 +30,9 @@ CONTENTS
 REQUIREMENTS
 
   Coq 
-  8GB ram
+  8GB ram + 4GB swap
 
-  We have tested the development using Coq v. 8.4pl4 on a machine with 8GB RAM + 4GB swap.  
+  We have tested the development using Coq v. 8.4pl4 on Linux and Mac machines with at least 8GB RAM + 4GB swap.
   
 
 HOW TO COMPILE
-- 
GitLab