From 1c0e53aa7c0d1e8f3c19a10cc863c572ca7c78fa Mon Sep 17 00:00:00 2001
From: Martin Ring <martinring@live.de>
Date: Sun, 19 Jun 2016 21:48:13 +0200
Subject: [PATCH] Update README.md

---
 README.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 98cc812..f48fed1 100644
--- a/README.md
+++ b/README.md
@@ -1,4 +1,6 @@
-# **Cobra** <img src="https://travis-ci.org/flatmap/cobra.svg?branch=master"/>
+<img align="right" src="http://www-cps.hb.dfki.de/assets/stylesheets/ric/img/logo_dfki_en.png"/>
+
+# **Cobra** ![Build Status](https://travis-ci.org/flatmap/cobra.svg?branch=master)
 
 Cobra is a modern code and proof presentation framework, leveraging cutting-edge presentation technology together with a state of the art interactive theorem prover to present formalized mathematics as active documents. Cobra provides both an easy way to present proofs and a novel approach to auditorium interaction. The presentation is checked live by the theorem prover, and moreover allows live changes both by the presenter as well as the audience.