Merge branch 'master' of https://github.com/flatmap/cobra

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.