up doc

doc/install.adoc

@@ -23,5 +23,3 @@ To test the installation, run the command `jason --version` in a terminal. The o
 ----
 Jason CLI 3.2
 ----
-
-(You may need to close and open VSCode again to have Jason in its `PATH` terminal)

doc/jason-cli/readme.adoc

@@ -23,6 +23,12 @@ The first command creates a Jason application identified by `app1` with two agen
 [alice] hello world.
 ```
 
+This approach uses Gradle to execute the application. Gradle is useful if you are using other packages. However, it you do not have dependencies, the application can be started faster without Gradle:
+
+```
+jason mas start --mas2j=app1.mas2j
+```
+
 You can add more agents in the project with:
 
 ```
@@ -34,6 +40,7 @@ To run agent karlos, there are two options: stop the MAS and run it again; or ad
 jason agent start --source="src/agt/karlos.asl" --mas-name="app1" karlos
 ```
 
+
 You can add a Gradle script for the application with:
 
 ```
@@ -43,8 +50,7 @@ jason app add-gradle
 and then run it with `./gradlew run`.
 
 
-More details and commands with (or xref:./commands.adoc[here])
-:
+More details and commands with (or xref:./commands.adoc[here]):
 
 ```
 jason app

doc/tutorials/vscode/readme.adoc

@@ -9,10 +9,13 @@
 
 == What You Will Build
 
-In this document, you will build an environment to develop agent-based system with link:https://github.com/jason-lang/jason[Jason] language.
+In this document, you will build an environment to develop agent-based systems with link:https://github.com/jason-lang/jason[Jason] language.
 
 include::../../install.adoc[]
 
+(You may need to close and open VSCode again to have Jason in its `PATH` terminal)
+
+
 //image:./figs/inst.png[vscode and java installation]
 
 
@@ -63,6 +66,7 @@ To add more agents in your project:
 jason app add-agent karlos
 ----
 
+
 More commands for the application are shown with
 
 ----