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**.
 
-1. Read in an HPnG model file in XML format: **read**
+* Read in an HPnG model file in XML format: **read**
  - Mandatory option **--p** _filepath_: String containing the file path of the xml file.
 
-2. Parse a Model Checking property (without checking) and get an output of the formula tree: **parse**
+* 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**