Updated README.md and GA workflow.

.github/workflows/main.yml

@@ -58,11 +58,18 @@ jobs:
         uses: softprops/action-gh-release@v2
         with:
           body: |
+            RoboTool compiled and packaged as an Eclipse product using Eclipse tycho's Maven builder. 
+
+            Note that binaries are not signed. In particular, when downloaded and extracted under macOS may need [dequarantining](https://superuser.com/questions/526920/how-to-remove-quarantine-from-file-permissions-in-os-x) using the command `xattr -d com.apple.quarantine Eclipse.app` to avoid a message saying that the binary is damaged.
+            
             <details>
+            <summary>Main feature versions</summary>
+            
             Feature | Version
             --------|--------
             ${{ steps.versions.outputs.content }}
             --------|--------
+            
             </details>
           files: |
             robotool-product/target/products/*.tar.gz

README.md

@@ -1,2 +1,9 @@
-# robotool
-Top-level repository for tracking issues and discussions about overall RoboTool.
+# RoboTool
+RoboTool supports graphical modelling, validation, and automatic generation of mathematical definitions for proof of properties of RoboChart models, with proof automated using model checking. The RoboChart notation is distinctive in its features that support architectural modelling as well as timed constructs in state machines.
+
+This repository provides a complete RoboTool install, both as a [setup file](RoboTool.setup) for installation using the Eclipse installer, as well as self-contained releases that can be executed directly after downloading. The latter contain a Java JRE for
+the target platform.
+
+## Documentation
+The [RoboTool manual](https://robostar.cs.york.ac.uk/publications/techreports/reports/robotool-manual.pdf) describes in detail 
+how to use the tool. Documentation for notations is available from the [RoboStar notations page](https://robostar.cs.york.ac.uk/notations/).