Changed some content from the README (we have Wiki)

Author: Baha

README.md

@@ -1,14 +1,13 @@
 # Reversible Erlang
 
-An implementation of the reversible semantics for Erlang.
+An implementation of a reversible semantics for Erlang.
 
-### Dependencies
+## Dependencies
 
-This tool does not have any dependencies, but it uses [wx](http://erlang.org/doc/apps/wx/chapter.html), the Erlang binding of wxWidgets, that is now included in Erlang/OTP.
+This project uses [wx](http://erlang.org/doc/apps/wx/chapter.html), the Erlang binding of wxWidgets.  
+Therefore, you might have to [build Erlang/OTP with wxWidgets](http://erlang.org/doc/installation_guide/INSTALL.html#Advanced-configuration-and-build-of-ErlangOTP_Building_Building-with-wxErlang) if you did not in the past, but we recommend you to try to compile and execute the application first.
 
-If you have any problem running this application, please make sure that you are using an upgraded version of Erlang/OTP (the tool has been tested with Erlang/OTP 18).
-
-### How to use
+## How to use
 
 First, compile the project:
 ```
@@ -31,17 +30,21 @@ To start using the application:
 Then, the initial state of the system will appear in the State window.
 
 You can control the evaluation of a program using two modes:
- * **Manual**: Specify a pid and select a firable rule.
+ * **Manual**: Introduce a `Pid` in the `Pid/MsgId` text box and choose a fireable rule.
  * **Automatic**:
-    * **Forward/Backward**: Given a number of steps N, perform N steps in the selected direction. The fired rules are selected at random.
-    * **Normalize**: Move the system forward up to a system where the only firable rules are Sched (deliver a message). The fired rules are selected at random.
+    * **Forward/Backward**: Introduce a number of steps `N` in the `Steps` text box and push the `Forward` or the `Backward` button. Then, `N` evaluation steps will be performed in the chosen direction.
+    * **Normalize**: Move the system forward up to a system where the only firable rules are Sched (deliver a message).
 
-Both modes can be used interchangeably.
+Both modes can be used interchangeably.  
 
-### Publications
+## Publications
 
 This tool is an implementation of the proposed reversible semantics in these publications:
   * Naoki Nishida, Adrián Palacios and Germán Vidal. [A Reversible Semantics for Erlang](http://users.dsic.upv.es/~gvidal/german/lopstr16b/paper.pdf). To be published in *Proceedings of the 26th International Symposium on
 Logic-Based Program Synthesis and Transformation*.
 
 [comment]: # (Add pages and year once published --, 2016, pages 28:1-28:18)
+
+## Have questions?
+
+Check the [Wiki](https://github.com/mistupv/rev-erlang/wiki) for more information.