From 99b3a10b6846dc10808f3545881c27668570ad94 Mon Sep 17 00:00:00 2001
From: Salvo 'LtWorf' Tomaselli <tiposchi@tiscali.it>
Date: Fri, 1 Jan 2016 12:35:12 +0100
Subject: [PATCH] Hopefully improved the README

It was a bit aggressive, had a typo
---
 README.md | 26 +++++++++++++++++---------
 1 file changed, 17 insertions(+), 9 deletions(-)

diff --git a/README.md b/README.md
index 05d8ab6..09ae93c 100644
--- a/README.md
+++ b/README.md
@@ -1,8 +1,12 @@
 Relational an educational tool to provide a workspace for experimenting with *relational* *algebra*, an offshoot of first-order logic.
 
-It provides GUI that can be used for executing relational queries, and also provides a command line interface.
+It works on GNU/Linux, Windows and OS X.
+
+It provides:
+ * A GUI that can be used for executing relational queries
+ * A standalone Python module that can be used for executing relational queries, parsing relational expressions and optimizing them
+ * A command line interface
 
-Provides a standalone Python module that can be used for executing relational queries, parsing relational expressions and optimizing them.
 
 Official website
 ================
@@ -20,7 +24,6 @@ For Linux, check your distribution's packages, relational is available on Debian
 
 Syntax
 ======
-
 These are some valid queries
 
 ```
@@ -29,7 +32,7 @@ These are some valid queries
 Q ⋈ π a,b(A) ⋈ B
 ρid➡i,name➡n(A) - π a,b(π a,b(A)) ∩ σage > 25 or rank = weight(A)
 π a,b(π a,b(A))
-ρid➡i,name➡n(π a,b(A))
+ρ id➡i,name➡n(π a,b(A))
 A ⋈ B
 ```
 
@@ -54,13 +57,18 @@ To launch the application, run
 ./relational_gui.py
 ```
 
-Running on osx
-==============
+or 
 
-You can probably follow the instructions on running from sources to
-rut on osx.
+```
+python3 relational_gui.py
+```
 
-If you encounter problems, don't ask me for help.
+Running on OS X
+===============
+You can follow the instructions on running from sources to
+run on OS X.
+
+If you encounter problems, don't ask me for help. I don't have an Apple.
 
 If you encounter problems and overcome them, please tell me how to update this
 README.