README.md

@@ -1,7 +1,7 @@
 ClaferIDE
 =========
 
-v0.4.1
+v0.4.2
 
 A web-based IDE for Clafer.
 
@@ -38,15 +38,15 @@ Contributors
 
 * [Alexandr Murashkin](http://gsd.uwaterloo.ca/amurashk). Main developer.
 * [Michał Antkiewicz](http://gsd.uwaterloo.ca/mantkiew). Research Engineer. Requirements, development, architecture, testing, technology transfer.
-* [Eldar Khalilov](http://gsd.uwaterloo.ca/ekhalilov). Developer. Upgrade to 0.4.1 (replace XML with JSON, test suites).
+* [Eldar Khalilov](http://gsd.uwaterloo.ca/ekhalilov). Developer. Upgrade to 0.4.2 (replace XML with JSON, test suites).
 
 Installation and running
 ------------------------
 
 ### Dependencies for running
 
 * [Java Platform (JDK)](http://www.oracle.com/technetwork/java/javase/downloads/index.html) v8+
-* [Clafer](https://github.com/gsdlab/clafer) v0.4.1
+* [Clafer](https://github.com/gsdlab/clafer) v0.4.2
   * can be from the binary distribution
 * [Node.js Framework](http://nodejs.org/download/), v0.12.0
 * [Redis Server](https://launchpad.net/~chris-lea/+archive/ubuntu/redis-server), v2:2.*
@@ -96,7 +96,11 @@ See [Installing Backends](https://github.com/gsdlab/ClaferToolsUICommonPlatform#
 
 `clafer --version`
 
-> `Clafer v0.4.1`
+> `Clafer v0.4.2.1`
+
+`claferIG --version`
+
+> `Clafer v0.4.2.1`
 
 `java -version`
 

Server/Backends/backends.json

@@ -33,12 +33,12 @@
             "tooltip": "An instance generator and optimizer based on Choco3 CSP solver library",
             "accepted_format": "choco",
             "tool": "java",
-            "tool_args": ["-jar", "/home/clafertools040/bin/claferchocoig.jar", "--file=$filepath$", "--repl", "--prettify"],
-            "tool_version_args": ["-jar", "/home/clafertools040/bin/claferchocoig.jar", "--version"],
+            "tool_args": ["-jar", "/home/clafertools040/bin/chocosolver.jar", "--file=$filepath$", "--repl", "--prettify"],
+            "tool_version_args": ["-jar", "/home/clafertools040/bin/chocosolver.jar", "--version"],
             "scope_options": {
-                "set_default_scope" : {"command": "globalScope $value$\n", "label": "Default:", "argument": "--scope=$value$", "default_value": 1},
-                "set_individual_scope": {"command": "scope $clafer$ $value$\n"},
-                "inc_all_scopes" : {"command": "incGlobalScope $value$\n", "label": "All:", "default_value": 1},
+                "set_default_scope" : {"command": "SetGlobalScope $value$\n", "label": "Default:", "argument": "--scope=$value$", "default_value": 1},
+                "set_individual_scope": {"command": "setScope $clafer$ $value$\n"},
+                "inc_all_scopes" : {"command": "IncGlobalScope $value$\n", "label": "All:", "default_value": 1},
                 "inc_individual_scope": {"command": "incScope $clafer$ $value$\n"},
                 "produce_scope_file" : {"command": "saveScopes\n"},
                 "set_int_scope" : {"command": "maxInt $value$\n", "label": "Max. integer:", "argument": "--maxint=$value$", "default_value": 127}

Server/package.json

@@ -1,8 +1,8 @@
 {
   "name": "ClaferIDE",
   "description": "A web-based GUI for modeling with Clafer",
-  "version": "0.4.1",
-  "release_date": "2015-09-21",
+  "version": "0.4.2",
+  "release_date": "2015-10-20",
   "private": true,
   "dependencies": {
     "express": "3.20.1",