change to v 2.5

Author: jomifred

build.gradle

@@ -16,7 +16,7 @@ apply plugin: 'maven'
 apply plugin: 'maven-publish'
 apply plugin: 'signing'
 
-version '2.5-SNAPSHOT'
+version '2.5'
 group   'org.jason-lang'
 
 sourceCompatibility = 1.8
@@ -39,8 +39,9 @@ repositories {
 
 
 dependencies {
-	compile group: 'net.sf.ingenias', name: 'jade', version: '4.3'
+	  compile group: 'net.sf.ingenias', name: 'jade', version: '4.3'
     //compile group: 'com.tilab.jade', name: 'jade', version: '4.4.0'
+
     compile group: 'org.jacamo',     name: 'cartago', version: '2.3'
     compile group: 'org.jacamo',     name: 'jaca',    version: '2.3'
 

doc/release-notes.adoc

@@ -3,7 +3,7 @@
 
 ifdef::env-github[:outfilesuffix: .adoc]
 
-== version 2.5
+== version 2.5 (2020-06-25)
 
 - cascading failures of failures (see FAQ)
 - new internal actions to manipulate a Java Set. In Jason, it is represented by a variable. Example:
@@ -51,10 +51,8 @@ for ( .map.key(M,K) & .map.get(M,K,V) ) {
 }.
 ----
 
-
 - new internal action to replace strings (see internal action .replace).
 
-
 == version 2.4 (2019-05-24)
 
 (a built package is available at https://sourceforge.net/projects/jason/files/jason/version%202.4/[here])

readme.adoc

@@ -35,7 +35,7 @@ NOTE: In Jason 2.0 the way to run the Jason IDE (based on jEdit) has changed. Ra
 ----
 git clone https://github.com/jason-lang/jason.git
 cd jason
-gradlew config // <1> <2>
+./gradlew config // <1> <2>
 ----
 <1> the config task builds the jason jar, configure jason properties file, and place all jars in `build/libs`.
 <2> this task also prints out the commands to set up the `JASON_HOME` and `PATH` variables.
@@ -49,10 +49,10 @@ The Jason IDE based on jEdit can be launched by the `jason-ide` script or `java
 Other useful gradle tasks:
 
 -----
-gradle jar     // <1>
-gradle doc     // <2>
-gradle clean   // <3>
-gradle release // <4>
+./gradlew jar     // <1>
+./gradlew doc     // <2>
+./gradlew clean   // <3>
+./gradlew release // <4>
 -----
 <1> generates a new jason jar.
 <2> generates the javadoc and transforms asciidoc files into html (Docker must be running for the latter).