Version 0.9.5

PackageInfo.g

@@ -28,15 +28,15 @@ SetPackageInfo( rec(
 
 PackageName := "GroupExplorer",
 Subtitle    := "Invoking Group Explorer from GAP",
-Version     := "0.9.0",
-Date        := "17/05/2019", # Release date of current version, dd/mm/yyyy
+Version     := "0.9.5",
+Date        := "20/06/2019", # Release date of current version, dd/mm/yyyy
 
 ##  Optional: if the package manual uses GAPDoc, you may duplicate the
 ##  version and the release date as shown below to read them while building
 ##  the manual using GAPDoc facilities to distibute documents across files.
 ##  <#GAPDoc Label="PKGVERSIONDATA">
-##  <!ENTITY VERSION "0.9.0">
-##  <!ENTITY RELEASEDATE "17 May 2019">
+##  <!ENTITY VERSION "0.9.5">
+##  <!ENTITY RELEASEDATE "20 June 2019">
 ##  <#/GAPDoc>