From b5da3f0389e8bfea230156093dce8d9c33fc2dbb Mon Sep 17 00:00:00 2001
From: Jouke Stoel <j.h.stoel@gmail.com>
Date: Mon, 23 Jul 2018 12:54:25 +0200
Subject: [PATCH] Minor changes

---
 README.md | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/README.md b/README.md
index 8d1358e..2abd9a3 100644
--- a/README.md
+++ b/README.md
@@ -1,11 +1,11 @@
-AlleAlle - A Bounded Relational Model Finder with Data <img src="https://github.com/cwi-swat/allealle/blob/master/allealle_logo.svg" alt="AlleAlle Logo" width="100px"/>
-========================================================================================================================================================================
+AlleAlle - A Bounded Relational Model Finder with Data <img src="allealle_logo.svg" alt="AlleAlle Logo" width="100px"/>
+=======================================================================================================================
 
-Many problems have relational (graph-like) structures. Relational model finders help you define and solve these problems in a natural way. <sup>1</sup> AlleAlle is such a relational model finder.
+Many problems have relational (graph-like) structures. Relational model finders help you define and solve these problems in a natural way. <sup>1</sup> *AlleAlle* is such a relational model finder.
 
-AlleAlle offers a language which combines first order logic (FOL) and Codd's relational algebra (think databases and SQL) allowing for efficient encodings of many relational problems (take a look at the [examples](https://github.com/cwi-swat/allealle/tree/master/examples)). Next to that, AlleAlle allows for the expression of optimization objectives making it possible to solve optimization problems as well.
+*AlleAlle* offers a language which combines first order logic (FOL) and Codd's relational algebra (think databases and SQL) allowing for efficient encodings of many relational problems (take a look at the [examples](https://github.com/cwi-swat/allealle/tree/master/examples)). Next to that, *AlleAlle* allows for the expression of optimization objectives making it possible to solve optimization problems as well.
 
-AlleAlle is implemented in Rascal and its language is integrated with Eclipse. Next to that it uses Microsofts Z3 SMT solver as a backend.
+*AlleAlle* is implemented in Rascal and its language is integrated with Eclipse. Next to that it uses Microsofts Z3 SMT solver as a backend.
 
 Prerequisits
 ------------