diff --git a/README.md b/README.md
index 6ef97a9084eaa6e6a0240059de4bbdff65a35225..1342abaab6a616a26f2f750c86e77de0d8b565eb 100644
--- a/README.md
+++ b/README.md
@@ -1,8 +1,16 @@
 # Rodin B AST
 
+[![Build Status](https://travis-ci.org/hhu-stups/rodin-ast.svg?branch=master)](https://travis-ci.org/hhu-stups/rodin-ast)
+
 This repository contains a standalone version of the Rodin AST. It is used within the ProB tool.
 
-No original file is changed, but we added this README and the build.gradle.
+No original file is changed, but we added:
+* README.md
+* build.gradle
+* .travis.yml
+* gradle.properties.enc
+* secring.gpg.enc
+* pubring.gpg.enc
 
 Note to future Jens:
 After updating the sources the ```gradle patch``` task must be run. This modifies the sources. **Do not run the task multiple times!**