From 7749127db378d57c872e86309dadaf37a34c8150 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@gmail.com>
Date: Fri, 18 Nov 2016 00:12:17 +0100
Subject: [PATCH] minor changes in readme and build info

---
 README.md    | 12 +++++++-----
 doc/build.md |  4 ++--
 2 files changed, 9 insertions(+), 7 deletions(-)

diff --git a/README.md b/README.md
index 85e5ea8c9..54db5bddb 100644
--- a/README.md
+++ b/README.md
@@ -7,15 +7,16 @@ For more instructions, check out the documentation found in [Getting Started](do
 Benchmarks
 ----------------------------
 
-Some examples can be found in the example folder:
-Further example input files for storm can be found in the following repositories:
+Example input files for storm can be obtained from  
+https://github.com/moves-rwth/storm-examples.  
+Running make example-files automatically obtains these files.
+
+Further examples and benchmarks found in the following repositories:
 
 * **Prism files** (DTMC, MDP, CTMC):  
 http://www.prismmodelchecker.org/benchmarks/
 * **Jani files** (DTMC, MDP, CTMC, MA):  
 http://jani-spec.org/
-* MRMC style **tra** files:  
-(private, contact: dehnert@cs.rwth-aachen.d)
 * **GSPN**s:   
 (private, contact: sebastian.junges@cs.rwth-aachen.de)
 * **DFT**s:  
@@ -26,7 +27,7 @@ https://github.com/moves-rwth/dft-examples
 
 Authors
 -----------------------------
-Storm has been developed at RWTH Aachen University
+Storm has been developed at RWTH Aachen University.
 
 ###### Principal developers
 * Christian Dehnert
@@ -42,6 +43,7 @@ Storm has been developed at RWTH Aachen University
 ###### Contributors (lexicographical order) 
 * Dimitri Bohlender
 * Harold Bruintjes
+* Michael Deutschen
 * Thomas Heinemann
 * Thomas Henn
 * Tom Janson
diff --git a/doc/build.md b/doc/build.md
index 03c0ff3dc..703f6ca0f 100644
--- a/doc/build.md
+++ b/doc/build.md
@@ -2,7 +2,7 @@
 
 
 ## Requirements 
-CMake >= 2.8.11
+CMake >= 3.2
  CMake is required as it is used to generate the Makefiles or Projects/Solutions required to build StoRM.
 
 ### Compiler:
@@ -17,7 +17,7 @@ CMake >= 2.8.11
  - GCC versions 4.9.1 and older.
 
 Prerequisites:
- Boost >= 1.60
+ Boost >= 1.61
 	Build using the Boost Build system, for x64 use "bjam address-model=64" or "bjam.exe address-model=64 --build-type=complete"
 
 ## Instructions