Installing-MP-Gryphon.md

@@ -32,20 +32,25 @@ Install MP Gryphon and the trace generator directly on your Ubuntu Linux system
     ./install_mp.bash ubuntu
     ```
 
-The `install_mp.bash` script installs the following:
+To run Gryphon:
 
-* Build tools, some 32-bit development files, the C shell, python3-pip, and git are installed using administrator privilege.
-* PySide6, pyqtdarktheme, and pyspellchecker are installed into the Python environment using pip.
-* Gryphon, preloaded examples, and trace-generator are installed under `$HOME/mp_gryphon`.
-
-Once installed, run Gryphon from a command window by changing to the directory conatining the Gryphon tool and typing `./mp.py`:
+* Double-click the Gryphon icon on the desktop to start Gryphon.
+* Alternatively, Gryphon may be launched from a command window ![terminal_emulator](uploads/2e92ad4cfa2db13bd7f47976ca2c184d/terminal_emulator.png) by changing to the directory containing the Gryphon tool and typing `./mp.py`:
 
 ```console
 cd ~/mp_gryphon/gryphon/python
 ./mp.py
 ```
+
+The `install_mp.bash` script installs the following:
+
+* Build tools, some 32-bit development files, the C shell, python3-pip, and git are installed using administrator privilege.
+* PySide6, pyqtdarktheme, and pyspellchecker are installed into the Python environment using pip.
+* Gryphon, preloaded examples, and the trace generator are installed under `$HOME/mp_gryphon`.
+* A launcher on the desktop for starting Gryphon.
+
 # Linux Alternatives
-Alternatives can be made available, for example:
+Alternative installers can be made available, for example:
 * Executable Gryphon app without the trace-generator.
 * Linux operating systems besides Ubuntu.
 * Docker.  Thanks to contributions from Ben Payne, Gryphon can alternatively be run in Docker without requiring the Gryphon server, please see https://github.com/researcherben/formal-models.