Update for 8.4 release

hengestone · Nov 7, 2019 · b2d8b41 · b2d8b41
1 parent de1890e
commit b2d8b41
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -1,5 +1,5 @@
-# Parasail unauthorized
-Open source files from the Parasail 8 release.
+# Parasail git
+Open source files from the Parasail 8.4 release.
 
 # Getting started
 Following the instructions in `documentation/parasail_release_notes.txt -> BUILDING PARASAIL FROM SOURCES` on Ubuntu 19.10:
@@ -11,6 +11,6 @@ Oliver Henley made a syntax highlighting plugin for VS Code at https://github.co
 It can be installed it from the VS Code Extensions Marketplace as well, search for `Parasail`.
 
 # Licensing
-Parasail is developed by AdaCore, and licensed mostly under the GPLv3, unless otherwise specified in any individual file. The standard library is marked as "as-is, no warranty".
+Parasail is developed by AdaCore, and licensed mostly under the GPLv3, unless otherwise specified in any individual file. The standard library is provided using the GCC GPL V3.1 Runtime Exception, see the file `documentation/GCC_RUNTIME3_1`
 
 This repository is provided persuant to the letter and spirit of the above licenses in an effort to explore and publicize Parasail/Paython/Javallel beyond the confines of AdaCore.