Release 0.4.4

README.md

@@ -1,14 +1,14 @@
 ClaferToolsUICommonPlatform
 ===========================
 
-##### v0.4.3
+##### v0.4.4
 
 A superset platform used as a submodule by all the three Clafer Web Tools: [ClaferIDE](https://github.com/gsdlab/ClaferIDE), [ClaferMooVisualizer](https://github.com/gsdlab/ClaferMooVisualizer) and [ClaferConfigurator](https://github.com/gsdlab/ClaferConfigurator).
 
 Contributors
 ------------
 
-* [Alexandr Murashkin](http://gsd.uwaterloo.ca/amurashk). Main developer.
+* [Alexandr Murashkin](http://gsd.uwaterloo.ca/amurashk). Original developer.
 * [Eldar Khalilov](http://gsd.uwaterloo.ca/ekhalilov). Developer. Upgrade to 0.4.2 (replace XML with JSON, test suites).
 
 Installation
@@ -36,10 +36,10 @@ This installation procedure applies to all three web tools, which use the same b
 
 * Getting Binaries
 
-Binary distributions of the release 0.4.3 of Clafer Tools for Windows, Mac, and Linux, can be downloaded from [Clafer Tools - Binary Distributions](http://http://gsd.uwaterloo.ca/clafer-tools-binary-distributions). There you can get binaries for `Clafer Compiler`, `ClaferIG` and the `ClaferChocoIG` backend.
+Binary distributions of the release 0.4.4 of Clafer Tools for Windows, Mac, and Linux, can be downloaded from [Clafer Tools - Binary Distributions](http://http://gsd.uwaterloo.ca/clafer-tools-binary-distributions). There you can get binaries for `Clafer Compiler`, `ClaferIG` and the `ClaferChocoIG` backend.
 
 The fastest way is to unzip a binary distribution into the folder `<bin>`.  
-By default, `<bin>=/home/clafertools040`
+By default, `<bin>=/home/clafertools040/bin`
 
 * Install [ClaferIG](https://github.com/gsdlab/claferIG) following the installation instructions into `<bin>`.