Shell-commands.md

@@ -2,10 +2,10 @@ The following commands can are provided by the shell application in the _Main.ja
 
 Within the tool, an overview of all commands can be requested with the command **help**.
 
-* Read in an HPnG model file in XML format: **read**
+1. Read in an HPnG model file in XML format: **read**
  - Mandatory option **--p** _filepath_: String containing the file path of the xml file.
 
-* Parse a Model Checking property (without checking) and get an output of the formula tree: **parse**
+2. Parse a Model Checking property (without checking) and get an output of the formula tree: **parse**
  - No option is required. The property has to be entered after returning the shell option.
 
 3. Model check a property by simulating the HPnG model: **check**
@@ -20,8 +20,7 @@ Within the tool, an overview of all commands can be requested with the command *
  - Mandatory option **--n** _path_: String containing the new file path for the log file.
 
 6. Change a simulation parameter: **change _parametername_**
- - _parametername_ can be:
-* * * * halfintervalwidth *
+ - _parametername_ can be: * halfintervalwidth *
 * halfwidthindifferenceregion *